gf-core.git/src/compiler/GFI.hs, branch master

Rename modules GFI, GFC & GFServer...

2014-10-15T21:04:29+00:00

... to GF.Interactive, GF.Compiler & GF.Server, respectively.

Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Location for modularity

2014-07-27T22:06:23+00:00

GF.Text.Pretty provides the class Pretty and overloaded versions of the pretty printing combinators in Text.PrettyPrint, allowing pretty printable values to be used directly instead of first having to convert them to Doc with functions like text, int, char and ppIdent. Some modules have been converted to use GF.Text.Pretty, but not all. Precedences could be added to simplify the pretty printers for terms and patterns. GF.Infra.Location contains the types Location and L, factored out from GF.Grammar.Grammar, and the class HasSourcePath. This allowed the import of GF.Grammar.Grammar to be removed from GF.Infra.CheckM, making it more like a pure library module.

PGF library: expose only PGF and PGF.Internal instead of all modules

2014-06-12T14:43:18+00:00

PGF exports the public, stable API. PGF.Internal exports additional things needed in the GF compiler & shell, including the nonstardard version of Data.Binary.

Removed imports of TypeCheck.Concrete, fixed problems in TypeCheck.RConcrete

2014-04-04T13:51:07+00:00

+ The current type checker for concrete syntax is in GF.Compile.TypeCheck.RConcrete, but GF.Compile.TypeCheck.Concrete was still imported in GFI. + Fixed a bug that allowed Ints n as a subtype of Ints m, regardless of m and n. It now requires n<=m. Note: the type checker still allows Int as a subtype of Ints m, regardless of m. + Fixed a potential efficiency problem with large record types, by reducing the number of recursive calls from |R|*|S| to |R| when checking if R<=S. + Fixed a misleading comment: "alpha g t u" checks that u is a subtype of t, the other way around. Similarly, "checkIfEqLType gr g t u trm" checks that u is a subtype of t, not the other way around, and not that t is equal to u.

Commment code and options relating to the old partial evaluator

2013-11-29T16:26:49+00:00

This means that the -old-comp and -new-comp flags are not recognized anymore. The only functional difference is that printnames were still normalized with the old partial evaluator. Now that is done with the new partial evaluator.

Move checkPredefError from GF.Compile.Compute.ConcreteLazy to GF.Grammar.Macros

2013-11-29T14:43:01+00:00

Also simplified its type.

GFI: adapt to character encoding changes

2013-11-28T13:55:08+00:00

GF.Compile.Coding is not used any more.

Reduced clutter in monadic code

2013-11-20T00:45:33+00:00

+ Eliminated vairous ad-hoc coersion functions between specific monads (IO, Err, IOE, Check) in favor of more general lifting functions (liftIO, liftErr). + Generalized many basic monadic operations from specific monads to arbitrary monads in the appropriate class (MonadIO and/or ErrorMonad), thereby completely eliminating the need for lifting functions in lots of places. This can be considered a small step forward towards a cleaner compiler API and more malleable compiler code in general.

Eliminate mutual dependencies between the GF compiler and the PGF library

2013-11-05T13:11:10+00:00

+ References to modules under src/compiler have been eliminated from the PGF library (under src/runtime/haskell). Only two functions had to be moved (from GF.Data.Utilities to PGF.Utilities) to make this possible, other apparent dependencies turned out to be vacuous. + In gf.cabal, the GF executable no longer directly depends on the PGF library source directory, but only on the exposed library modules. This means that there is less duplication in gf.cabal and that the 30 modules in the PGF library will no longer be compiled twice while building GF. To make this possible, additional PGF library modules have been exposed, even though they should probably be considered for internal use only. They could be collected in a PGF.Internal module, or marked as "unstable", to make this explicit. + Also, by using the -fwarn-unused-imports flag, ~220 redundant imports were found and removed, reducing the total number of imports by ~15%.

Introduce type RawIdent; only 9 imports of Data.ByteString.Char8 remain

2013-09-19T20:48:10+00:00

The fact that identifiers are represented as ByteStrings is now an internal implentation detail in module GF.Infra.Ident. Conversion between ByteString and identifiers is only needed in the lexer and the Binary instances.