| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | gfse: grammar sharing: bug fixes and win32 support | hallgren | |
| win32 support is untested | |||
| 2011-11-01 | Remove configuration flag cclazy | hallgren | |
| 2011-11-01 | Fixed a typo in the shell online help | Nick Frolov | |
| 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 | Some experiments with PSeq (left commented out) | hallgren | |
| 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-10-12 | Show version & configuration info when gf -server starts | hallgren | |
| 2011-10-12 | Bug fixes for gf -server mode and setup | hallgren | |
| 2011-10-12 | Improvements of "gf -server" mode and related setup | hallgren | |
| "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete. | |||
| 2011-10-11 | More work on support for gfse in "gf -server" mode | hallgren | |
| 2011-10-10 | Add cloud services needed by gfse to "gf -server" mode | hallgren | |
| 2011-10-10 | More functionality in "gf -server" mode | hallgren | |
| "gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs | |||
| 2011-09-26 | don't count app nodes in term size | aarne | |
| 2011-09-25 | generalized show_dependencies to take a list of constants as its argument | aarne | |
| 2011-09-25 | structured examples in help into pairs (command,explanation) | aarne | |
| 2011-09-24 | bug fixes in code size analysis | aarne | |
| 2011-09-22 | change the precedence for the left argument of -> | kr.angelov | |
| 2011-09-22 | the sd -size command now shows the size of all code needed for defining an oper | aarne | |
| 2011-09-22 | documented the ss command | aarne | |
| 2011-09-21 | statistics on grammar size in terms of constructors | aarne | |
| 2011-09-21 | commands ss to show source, and sd to show the dependencies of a constant | aarne | |
| 2011-09-20 | module for analysing source grammars | aarne | |
| 2011-09-20 | command ss to show source (including gfo) in text; to be extended | aarne | |
| 2011-09-15 | Add a command name header to the 'help -t2t' output | hallgren | |
| 2011-09-15 | made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ↵ | aarne | |
| characters are returned as themselves and not as question marks | |||
| 2011-09-14 | Omit empty sections in gf help output | hallgren | |
| 2011-09-14 | GF shell command 'help -t2t' outputs help in txt2tags format | hallgren | |
| 2011-09-09 | Don't make noexpand the default with -fcclazy | hallgren | |
| This reverts the previous change. Not preprocessing opers turns out to make a difference in what needs to be mentioned in restricted inheritance/imports. | |||
| 2011-09-09 | Make noexpand the default optimization package when configuring with -fcclazy | 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-07 | GF.Grammar.Macros: simplify composOp and composSafeOp | hallgren | |
| 2011-09-05 | Make the -fcclazy configuration option visible in the build info in the GF ↵ | hallgren | |
| Shell welcome message | |||
| 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-09-01 | GF.Grammar.*: generalized the type of some functions that can not fail from ↵ | hallgren | |
| the Err monad to arbitrary monads | |||
| 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: restore module dependency order invariant | hallgren | |
| It is needed by greatestResource (and similar functions, presumably). So keep both the list and the finite map of modules. This slows down some things, but the compilation of PhrasebookFin.pgf benefits from it. To be continued... | |||
| 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 | GF.Grammar.Lookup: added function lookupQIdentInfo | hallgren | |
| + Avoids some code duplication by combinging lookupModule and lookupIdentInfo. + Also removed lookupIdentInfo from export list, since it is not used anywhere else. | |||
| 2011-08-30 | PatternMatch.hs: commented out suspicious unused function varsOfPatt | hallgren | |
| 2011-08-30 | GrammarToPGF.hs: comment out unused imports | hallgren | |
| 2011-08-28 | import command now gives priority to new abstract syntax, and discards the ↵ | aarne | |
| old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF | |||
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
