| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-07-06 | an attempt to solve record extension overloading bug, commented out for the ↵ | aarneranta | |
| moment | |||
| 2020-07-06 | fixed issue #67 on order of record fields in overloading | aarneranta | |
| 2020-06-05 | Condense the unsupported token gluing as per John's suggestion | Inari Listenmaa | |
| 2020-06-04 | Don't output "\n **" if helpfulMsg is empty. | Inari Listenmaa | |
| 2020-06-04 | Add clarification to Internal error in GeneratePMCFG | Inari Listenmaa | |
| 2020-06-04 | Add clarification to Unsupported token gluing (both good and bad case) | Inari Listenmaa | |
| 2020-06-04 | Add clarification to "expected foo, inferred bar" type of error msgs | Inari Listenmaa | |
| 2020-06-04 | Add clarification to "Pattern is not linear" error msg. | Inari Listenmaa | |
| 2020-06-04 | Add suggestions to error messages that are caused by too few/many args | Inari Listenmaa | |
| 2020-03-15 | restore the sequence ordering after -optimize-pgf | krangelov | |
| 2020-02-17 | fix the compilation of case insensitive grammars | krangelov | |
| 2019-09-20 | more dead code | krangelov | |
| 2019-09-20 | removed more dead code | krangelov | |
| 2019-09-20 | remove obsolete code | krangelov | |
| 2019-09-10 | GrammarToCanonical: bug fix: add missing case for Empty | Thomas Hallgren | |
| 2019-07-10 | Minor renamings in JSON format | John J. Camilleri | |
| 2019-07-10 | Address @heatherleaf's suggestions | John J. Camilleri | |
| 2019-07-07 | Whitespace fixes | John J. Camilleri | |
| 2019-07-07 | Finish compile to PGF JSON, including JSON schema for resulting format. | John J. Camilleri | |
| 2019-07-03 | Finish JSON conversion for abstract | John J. Camilleri | |
| 2019-07-03 | Start work on PGFtoJSON module. Add compiler flag `-f json`. | John J. Camilleri | |
| 2019-06-30 | fully supported case-insensitive parsing/lookup | krangelov | |
| 2019-05-20 | reordered error message for 'no overload'; might be even better to show ↵ | Aarne Ranta | |
| complete types | |||
| 2019-04-25 | GF.Compile.CheckGrammar: discard bad 'lincat C = …' with a warning | Thomas Hallgren | |
| e.g. if C is a fun and not a cat in the abstract syntax. Discarding bad lincats prevents GF from generating malformed PGFs that are rejected by the C run-time system. I also added code to reject bad lincats with an error, but I left it commented out since it seems a bit pedantic compared to GF's otherwise rather sloppy grammar checking. | |||
| 2019-03-22 | GF.Compile.GrammarToCanonical: keep unreachable rows in tables | Thomas Hallgren | |
| since unreachable rows can become reachable after grammar transformation. Also export smart constructors for projection and selection. | |||
| 2019-03-14 | GF.Compile.GrammarToCanonical: allow + in reg exps in pre { } | Thomas Hallgren | |
| 2019-03-13 | GF.Grammar.Canonical: some Functor/Foldable/Traversable instances | Thomas Hallgren | |
| 2019-03-07 | Expose GF.Grammar.Canonical + some refactoring | Thomas Hallgren | |
| to make it available in other tools by depending on the gf package and importing it | |||
| 2019-03-07 | Rename module GF.Compile.ConcreteToCanonical to GF.Compile.GrammarToCanonical | Thomas Hallgren | |
| 2019-02-26 | replace aeson with json | krangelov | |
| 2019-02-21 | Need aeson>=1.3 | Thomas Hallgren | |
| Also remove ununsed GF.Compile.PGFtoAbstract | |||
| 2019-02-08 | enable export of canonical grammars to JSON and YAML | Peter Ljunglöf | |
| 2019-01-23 | Export of concrete syntax to Haskell now goes via Canonical GF | Thomas Hallgren | |
| TODO: better treatment of Predef functions and record subtyping coercions | |||
| 2019-01-22 | More work on the canonica_gf export | Thomas Hallgren | |
| + Abstract syntax now is converted directly from the Grammar and not via PGF, so you can use `gf -batch -no-pmcfg -f canonical_gf ...`, to export to canonical_gf while skipping PMCFG and PGF file generation completely. + Flags that are normally copied to PGF files are now included in the caninical_gf output as well (in particular the startcat flag). | |||
| 2019-01-17 | Adding -output-format canonical_gf | Thomas Hallgren | |
| This output format converts a GF grammar to a "canonical" GF grammar. A canonical GF grammar consists of - one self-contained module for the abstract syntax - one self-contained module per concrete syntax The concrete syntax modules contain param, lincat and lin definitions, everything else has been eliminated by the partial evaluator, including references to resource library modules and functors. Record types and tables are retained. The -output-format canonical_gf option writes canonical GF grammars to a subdirectory "canonical/". The canonical GF grammars are written as normal GF ".gf" source files, which can be compiled with GF in the normal way. The translation to canonical form goes via an AST for canonical GF grammars, defined in GF.Grammar.Canonical. This is a simple, self-contained format that doesn't cover everyting in GF (e.g. omitting dependent types and HOAS), but it is complete enough to translate the Foods and Phrasebook grammars found in gf-contrib. The AST is based on the GF grammar "GFCanonical" presented here: https://github.com/GrammaticalFramework/gf-core/issues/30#issuecomment-453556553 The translation of concrete syntax to canonical form is based on the previously existing translation of concrete syntax to Haskell, implemented in module GF.Compile.ConcreteToHaskell. This module could now be reimplemented and simplified significantly by going via the canonical format. Perhaps exports to other output formats could benefit by going via the canonical format too. There is also the possibility of completing the GFCanonical grammar mentioned above and using GF itself to convert canonical GF grammars to other formats... | |||
| 2018-10-19 | Add {-# LANGUAGE GADTs -#} to the generated Haskell file | Inari Listenmaa | |
| 2018-04-18 | Fixes for GHC 8.4.1 compatibility | Thomas Hallgren | |
| * In GHC 8.4.1, the operator <> has become a method of the Semigroup class and is exported from the Prelude. This is unfortunate, since <> is also exported from the standard library module Text.PrettyPrint, so in any module that defines a pretty printer, there is likely to be an ambiguity. This affects ~18 modules in GF. Solution: import Prelude hiding (<>) This works also in older versions of GHC, since GHC does't complain if you hide something that doesn't exists. * In GHC 8.4.1, Semigroup has become a superclass of Monoid. This means that anywhere you define an instance of the Monoid class you also have to define an instance in the Semigroup class. This affects Data.Binary.Builder in GF. Solution: conditionally define a Semigroup instance if compiling with base>=4.11 (ghc>=8.4.1) | |||
| 2018-01-23 | Remove "Warning: default encoding has changed from Latin-1 to UTF-8" | Thomas Hallgren | |
| The warning is about a change that was made in GF 3.6 (June 2014) and has probably outlived its purpose by now. | |||
| 2017-09-29 | GF.Compile.Instructions is obsolete and now removed | Krasimir Angelov | |
| 2017-09-07 | the experimental export to Lambda Prolog is now obsolete and is removed | Krasimir Angelov | |
| 2017-09-06 | in Haskell GADT generation, hide Tree in the import of PGF | Aarne Ranta | |
| 2017-08-29 | added option -output-format=java for producing code for embedded grammars in ↵ | Krasimir Angelov | |
| Java | |||
| 2017-08-29 | the embedded grammars now work with both the pure Haskell and the Haskell ↵ | Krasimir Angelov | |
| binding API | |||
| 2017-03-22 | fixed a bug in Eq instance generation for GADT and lexical categories | aarne | |
| 2017-03-07 | a better error message | krasimir | |
| 2017-03-07 | GF.Compile.Compute.ConcreteNew now handles Predef.Float | krasimir | |
| 2017-03-07 | bugfix in record subtyping checking | krasimir | |
| 2017-03-07 | GF.Grammar.Printer now has a Terse mode which prints record types with lock ↵ | krasimir | |
| fields with their corresponding abstract categories | |||
| 2017-03-06 | fix for EPatt | krasimir | |
| 2017-03-06 | type checking EPatt | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |