| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-01-14 | sorted the list of funs and cats in GrammatToPGF to get the predef ↵ | aarne | |
| categories in proper place and get gr, ai, gt work properly | |||
| 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-24 | now if some module is compiled with -no-pmcfg then the PMCFG code is ↵ | kr.angelov | |
| generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg. | |||
| 2011-11-22 | make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ↵ | kr.angelov | |
| LangFre | |||
| 2011-11-17 | rebuildModule should do location globalization too | kr.angelov | |
| 2011-11-17 | bugfix in the overload resolution. It was accidentally introduced as part of ↵ | kr.angelov | |
| the per module PMCFG generation | |||
| 2011-11-15 | fix in the versioning of the .gfo files | kr.angelov | |
| 2011-11-15 | now we store version number in every .gfo file. If the file is compiled with ↵ | kr.angelov | |
| different compiler then we simply recompile it. | |||
| 2011-11-15 | Now the errors messages from GF.Compile.Update also follow the new format | kr.angelov | |
| 2011-11-15 | the indirections in the .gf-tags files now point directly to the origin of ↵ | kr.angelov | |
| the corresponding indentifiers | |||
| 2011-11-15 | more structured format for errors and warnings from the compiler | kr.angelov | |
| 2011-11-14 | bugfix in the new PGF generation | kr.angelov | |
| 2011-11-14 | the new design for -tags | kr.angelov | |
| 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-25 | qualification with real module name accepted, as in GF refman | aarne | |
| 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-31 | GF.Compile.Coding: cleaner code | hallgren | |
| Refine function codeTerm into codeTerm, codeLTerm and codeLTerms. | |||
| 2011-08-31 | GF.Infra.Modules: minor tweaks | hallgren | |
| Still keeping the modules both in a list and in a finite map. The overhead is smaller than I initially thought. | |||
| 2011-08-30 | GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ↵ | hallgren | |
| list This speeds up the compilation of PhrasebookFin.pgf by 12%, mosly by speeding up calls to lookupModule in calls from lookupParamValues, in calls from allParamValues. The invariant "modules are stored in dependency order" is no longer respected! But the type MGrammar is now abstract, making it easier to maintain this or other invariants in the future. | |||
| 2011-08-30 | GrammarToPGF.hs: comment out unused imports | hallgren | |
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
| 2011-07-21 | GenIP, GenRP in Extra and any_Quant in ExtraEng | aarne | |
| 2011-06-02 | Predef functions toUpper, toLower, isUpper | aarne | |
| 2011-04-06 | generate Eq instance for GADT | aarne | |
| 2011-04-06 | fixed the printing of predefined and list categories in haskell=gadt | aarne | |
| 2011-03-12 | make it possible to override opers defined in an interface by syntax ↵ | aarne | |
| 'instance Foo of Bar - [f,g,h]' | |||
| 2011-03-12 | make later flags take priority over earlier ones in PGF generation | aarne | |
| 2011-03-05 | added composOp generation to haskell-gadt, and an example in ↵ | aarne | |
| examples/gadt-transfer | |||
| 2011-03-04 | revived GADT generation | aarne | |
| 2011-03-04 | fixed a variable refreshing bug in the compiler | aarne | |
| 2011-02-25 | Predef.error surfaces as error message in compilation and cc command | aarne | |
| 2010-12-17 | bugfix: GeneratePMCFG should initialize the lexicon to empty | krasimir | |
| 2010-12-14 | type checking of oper types with let expressions | aarne | |
| 2010-12-11 | fixed the failure to partial-evaluate pre in right-associative context | aarne | |
| 2010-12-07 | moved PGF.ToApi to GF.Compile.ToAPI | aarne | |
| 2010-12-06 | printing option -api in the eb command | aarne | |
| 2010-11-30 | format .gfm for multiple modules in the same file; includes lines with ↵ | aarne | |
| ;-separated words | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |