| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-12-02 | The typechecker is still unfinished but at least it can typecheck the ↵ | kr.angelov | |
| English resource grammar | |||
| 2011-11-30 | Hopefully complete Value type and a little bit more on computations. | kr.angelov | |
| 2011-11-30 | more stuff in the new type checker | kr.angelov | |
| 2011-11-29 | Sketch of the new type checker for the concrete syntax. Enabled only with ↵ | kr.angelov | |
| -new-comp | |||
| 2011-11-10 | Now PMCFG is compiled per module and at the end we only link it. The new ↵ | kr.angelov | |
| compilation schema is few times faster. | |||
| 2011-11-02 | merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ↵ | kr.angelov | |
| separate PGF building | |||
| 2011-11-02 | Now the compiler maintains more precise information for the source locations ↵ | kr.angelov | |
| of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations. | |||
| 2011-11-01 | Remove configuration flag cclazy | hallgren | |
| 2011-10-25 | Recording an alternative version of look in Compute/ConcreteLazy.hs | hallgren | |
| Commented out, causes problems in the greek example. | |||
| 2011-10-24 | use associativity to force more precompilation of pre expressions | aarne | |
| 2011-10-20 | Introduce an explicit error value in the Term type | hallgren | |
| This makes it easier to treat run-time errors (e.g. caused by calls to Predef.error) in a way that is more typical for a lazy functional language. | |||
| 2011-10-20 | Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records | hallgren | |
| 2011-10-20 | AppPredefined.hs: more readable notation for the types of primitives | hallgren | |
| 2011-09-09 | Remove unused function computeConcreteRec. | hallgren | |
| This also allows the parameter rec to be removed from function computeTermOpt. (The change is made in GF.Compile.Compute.ConcreteLazy, but not in GF.Compile.Compute.ConcreteStrict.) | |||
| 2011-09-01 | Add lazy version of GF.Compile.Compute.Concrete | hallgren | |
| This patch adds GF.Compile.Compute.ConcreteLazy, which replaces the Err monad with the Identity monad. While the Err monad makes the interpreter (hyper)strict, the Identity monad let's the interpreter inherit Haskell's laziness. This can give big speedups: from 50s to 1s in one example, from ~4 minutes to ~2 minutes for the RGL. This is still experimental and might be buggy, so it is off by default. You can turn it on by configuring with the -fcclazy flag, e.g. cabal configure -fcclazy Let me know if anything breaks. | |||
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
| 2011-06-02 | Predef functions toUpper, toLower, isUpper | aarne | |
| 2011-02-25 | Predef.error surfaces as error message in compilation and cc command | aarne | |
| 2010-12-11 | fixed the failure to partial-evaluate pre in right-associative context | aarne | |
| 2010-07-01 | the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs | krasimir | |
| 2010-07-01 | reorganize the modules in GF.Compile.* | krasimir | |
