summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2017-02-24corrected fg generation for lexical categories, to avoid a type error in gene...aarne
2016-09-05BNF grammars (.bnf or .cf) can have rules without semicolons, as in the GF bo...aarne
2016-03-22CFGtoPGF is now extended to support context-free grammars with primitive para...krasimir
2016-03-21initial support for BNFC syntax in context-free grammars for GF. Not all feat...krasimir
2016-03-21bugfix: GF.Compile.CFGtoPGF now supports literal categorieskrasimir
2016-03-15more progress on the typecheckerkrasimir
2016-03-07current state of the experimental typecheckerkrasimir
2016-03-03add missing cases in vapply in the partial evaluatorkrasimir
2016-03-02fix in the typecheckerkrasimir
2016-03-02a better interface between the type checker and the partial evaluatorkrasimir
2016-03-02the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now rewr...krasimir
2015-12-02GF shell, cc command: try to compute pre{...} tokens in token sequenceshallgren
2015-09-30cc -trace: don't try to show the bodies of lambda abstractionshallgren
2015-09-28Preliminary new shell feature: cc -trace.hallgren
2015-08-28Comment out some dead code found with -fwarn-unused-bindshallgren
2015-06-23Bump version of .gfo and .pgf files, improve error messages on version mismatchhallgren
2015-05-11added all orthographic primitiveskrasimir
2015-04-14Translating linearization functions to Haskell: move Haskell AST and pretty p...hallgren
2015-04-07GF.Compile.ConcreteToHaskell: some documentationhallgren
2015-03-05remove some more old codekrasimir
2015-03-05removed some operations in GeneratePMCFG. They didn't work well with variants...krasimir
2015-03-04GF.Compile.Compute.ConcreteNew: add dynamic table conversionhallgren
2015-03-04GF.Compile.Compute.ConcreteNew: some refactoring for readabilityhallgren
2015-03-02Fix to avoid "error (no reason given) OCCURRED IN optimizing <cat>"hallgren
2015-02-20added option -plus-as-bind which treats (+) as a bind when used with runtime ...krasimir
2015-02-16Changes for compatibility with ghc-7.10-rc2hallgren
2015-02-12Translating linearization functions to Haskell: more simplificationshallgren
2015-02-11Translating linearization functions to Haskell: simplify the generated Haskel...hallgren
2015-02-09Translating linearization functions to Haskell: support for variantshallgren
2015-01-19Translating linearization functions to Haskell: move a common record type to ...hallgren
2015-01-14Translating linearization functions to Haskell: better treatment of special t...hallgren
2015-01-08Translating linearization functions to Haskell: add support for pre {...}hallgren
2015-01-07Translating linearization functions to Haskell: use qualified names to avoid ...hallgren
2015-01-06Translating linearization functions to Haskell: significant code size reductionshallgren
2015-01-06More work on translating linearization functions to Haskellhallgren
2014-12-11Work in progress on translating linearization functions to Haskellhallgren
2014-12-08Haddock documentation: expose exportPGF, some other small improvementshallgren
2014-12-05Eliminate the record extension operator from the Value type returned by the p...hallgren
2014-10-31now (+) in the abstract syntax works, i.e. it knows how to deal with partial ...kr.angelov
2014-10-30a more efficient tail call by using the new TUCK instructionkr.angelov
2014-10-26an explicit SAVE instructionkr.angelov
2014-10-22an explicit PUSH_FRAME instructionkr.angelov
2014-10-21ModuleName and Ident are now distinct typeshallgren
2014-10-20use of 'head' in TypeCheck/RConcrete created an uncomprehensible error messag...aarne
2014-10-20Remove some dead codehallgren
2014-10-16Some work on the haddock documentationhallgren
2014-10-16More haddock documentation improvementshallgren
2014-10-16finally proper stack unwind in the evaluatorkr.angelov
2014-10-15Fixes for the haddock documentationhallgren
2014-10-14the compiler now allows + to be used as a floating point addition in the abst...kr.angelov