summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2019-05-20reordered error message for 'no overload'; might be even better to show compl...Aarne Ranta
2019-04-25GF.Compile.CheckGrammar: discard bad 'lincat C = …' with a warningThomas Hallgren
2019-03-22GF.Compile.GrammarToCanonical: keep unreachable rows in tablesThomas Hallgren
2019-03-14GF.Compile.GrammarToCanonical: allow + in reg exps in pre { }Thomas Hallgren
2019-03-13GF.Grammar.Canonical: some Functor/Foldable/Traversable instancesThomas Hallgren
2019-03-07Expose GF.Grammar.Canonical + some refactoringThomas Hallgren
2019-03-07Rename module GF.Compile.ConcreteToCanonical to GF.Compile.GrammarToCanonicalThomas Hallgren
2019-02-26replace aeson with jsonkrangelov
2019-02-21Need aeson>=1.3Thomas Hallgren
2019-02-08enable export of canonical grammars to JSON and YAMLPeter Ljunglöf
2019-01-23Export of concrete syntax to Haskell now goes via Canonical GFThomas Hallgren
2019-01-22More work on the canonica_gf exportThomas Hallgren
2019-01-17Adding -output-format canonical_gfThomas Hallgren
2018-10-19Add {-# LANGUAGE GADTs -#} to the generated Haskell fileInari Listenmaa
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:42:12 +0000