summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2018-04-18Fixes for GHC 8.4.1 compatibilityThomas Hallgren
2018-01-23Remove "Warning: default encoding has changed from Latin-1 to UTF-8"Thomas Hallgren
2017-09-29GF.Compile.Instructions is obsolete and now removedKrasimir Angelov
2017-09-07the experimental export to Lambda Prolog is now obsolete and is removedKrasimir Angelov
2017-09-06in Haskell GADT generation, hide Tree in the import of PGFAarne Ranta
2017-08-29added option -output-format=java for producing code for embedded grammars in ...Krasimir Angelov
2017-08-29the embedded grammars now work with both the pure Haskell and the Haskell bin...Krasimir Angelov
2017-03-22fixed a bug in Eq instance generation for GADT and lexical categoriesaarne
2017-03-07a better error messagekrasimir
2017-03-07GF.Compile.Compute.ConcreteNew now handles Predef.Floatkrasimir
2017-03-07bugfix in record subtyping checkingkrasimir
2017-03-07GF.Grammar.Printer now has a Terse mode which prints record types with lock f...krasimir
2017-03-06fix for EPattkrasimir
2017-03-06type checking EPattkrasimir
2017-03-06GF.Compile.Compute.ConcreteNew now can handle EPattTypekrasimir
2017-03-06some missing patternskrasimir
2017-03-06added overload resolution in the experimental type checkerkrasimir
2017-03-03some progress on the experimental type checker for the concrete syntaxkrasimir
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 18:36:09 +0000