summaryrefslogtreecommitdiff
path: root/src/compiler/GF
AgeCommit message (Expand)Author
2017-04-06vd command now reads local concrete configurations to deal with syncat words;...aarne
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
2017-02-21Fix compilation errors caused by changes in PGF2hallgren
2017-01-25improve the documentation for PGF2krasimir
2016-09-05BNF grammars (.bnf or .cf) can have rules without semicolons, as in the GF bo...aarne
2016-06-15GF cloud: more readable formatting of the GF version pagehallgren
2016-06-09PGF service & minibar: only show dependency diagrams if the labels are knownhallgren
2016-05-22Changes for compatibility with GHC 8.0.1hallgren
2016-04-07GF.Command.Commands2: adapt gf -cshell to the changes in the previous patchhallgren
2016-04-07GF shell: fix a parsing problem with the cc commandhallgren
2016-04-07Lexer.x & Parser.y: add a partial parser for termshallgren
2016-04-06Lexer.x: fix cyclic Functor instancehallgren
2016-03-22fix the handling of separators in BNFC which are not nonemptykrasimir
2016-03-22CFGtoPGF is now extended to support context-free grammars with primitive para...krasimir
2016-03-21added missing module GF.Grammar.BNFCkrasimir
2016-03-21fix comment in GF.Grammar.CFGkrasimir
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
2016-02-23add lexer and unlexer for Ancient Greek accent normalizationleiss
2015-12-02GF shell, cc command: try to compute pre{...} tokens in token sequenceshallgren
2015-12-01GF.Data.Str: change matchPrefix to agree with the GF book and the run-time sy...hallgren
2015-12-01GF.Data.Str: unexport & comment out unused functionshallgren
2015-11-23vd -conll2latex now converts conll to latex. Without going through GF trees, ...aarne
2015-11-17added -output=latex to visialize_dependencies. This generates more familiar-l...aarne
2015-11-05the visualization commands (aw,vd,vp,vt) can now show multiple trees. Previou...aarne
2015-11-05improved documentation of vp -showdepaarne
2015-11-04dependency labels in parse trees now with the -deps flag, -file=labels_file f...aarne
2015-11-04prepared visualize_parse for showing dependency labelsaarne
2015-10-28Fix bug in gf -server mode with /gfshell requests not updating the state of t...hallgren
2015-10-02GF.Interactive2: extension FlexibleContexts is needed for GHC 7.10 compatibilityhallgren
2015-09-30cc -trace: don't try to show the bodies of lambda abstractionshallgren
2015-09-29GF source lexer: allow numeric character escapes in string literalshallgren
2015-09-28Preliminary new shell feature: cc -trace.hallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 16:28:12 +0000