| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-06-26 | Report many type errors instead of stopping after the first one | hallgren | |
| In GF.Compile.CheckGrammar, use a new topological sorting function that groups independent judgements, allowing them all to be checked before continuing or reporting errors. | |||
| 2012-06-25 | printing ResValue judgements as comments, to provide useful information when ↵ | aarne | |
| a conflict is found between parameter constructors | |||
| 2012-06-15 | Add file name to error message when reading a bad .gfo file (in some cases) | hallgren | |
| This turns error messages like gf: too few bytes. Failed reading at byte position 1 gf: /some/path/somefile.gfo: too few bytes. Failed reading at byte position 1 but a better fix would be to ignore bad .gfo files and compile from source. The problem is the way this decision is made in GF.Compile.ReadFiles.selectFormat... | |||
| 2012-05-04 | alex 3 incompatibility workaround | hallgren | |
| As a temporary workaround, alex is no longer invoked automatically when building with cabal. Developers who want to modify the lexer need to run alex on Lexer.x manually and record the modified Lexer.hs. src/compiler/GF/Grammar/lexer/Lexer.x -- hidden from cabal src/compiler/GF/Grammar/Lexer.hs -- update it manually | |||
| 2012-02-24 | the Predef function eqVal to compare equality of parameter values | aarne | |
| 2012-02-22 | gfse: experimental support for editing concrete syntax in text mode | hallgren | |
| 2011-12-02 | missing cases in GF.Grammar.Binary | 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-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 pretty printer in GF has a new mode called Internal. This is the ↵ | kr.angelov | |
| most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections. | |||
| 2011-11-15 | more structured format for errors and warnings from the compiler | 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-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-09-26 | don't count app nodes in term size | 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-07 | GF.Grammar.Macros: simplify composOp and composSafeOp | hallgren | |
| 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.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 | 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-07-21 | GenIP, GenRP in Extra and any_Quant in ExtraEng | aarne | |
| 2011-06-02 | Predef functions toUpper, toLower, isUpper | 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-03 | overloaded opers included in sorting of judgements | aarne | |
| 2011-02-28 | the command show_operations to inspect opers in scope | aarne | |
| 2010-12-14 | option cc -list added | aarne | |
| 2010-12-10 | preparing resource api for multilingual documentation | aarne | |
| 2010-11-15 | bugfix for the abstract operations | krasimir | |
| 2010-11-12 | operations in the abstract syntax | krasimir | |
| 2010-09-24 | restored the .ebnf grammar format | aarne | |
| 2010-07-01 | redesign the open-literals API | krasimir | |
| 2010-06-21 | GF.Grammar.Printer: print expressions with lincat and lin | krasimir | |
| 2010-06-18 | Yay!! Direct generation of PMCFG from GF grammar | krasimir | |
| 2010-06-17 | rename GF.Grammar.Predef.isPredefCat to isLiteralCat | krasimir | |
| 2010-06-17 | GF.Grammar.Lookup.allParamValues now works for table types as well | krasimir | |
| 2010-06-08 | revert change in GF.Grammar.Printer that was intended for debugging only | krasimir | |
| 2010-05-28 | refactoring in GF.Grammar.Grammar | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |