Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2019-07-03T13:07:31+00:00 2019-07-03T13:07:31+00:00 John J. Camilleri john@digitalgrammars.com 2019-07-03T13:07:31+00:00 urn:sha1:c5a75c482ccaf1ce955694fb63dd4e05e9d34a02 2019-02-26T18:27:36+00:00 krangelov kr.angelov@gmail.com 2019-02-26T18:27:36+00:00 urn:sha1:25dc9348713ce1142c7ea2c8f0b5a9cfdac4c5ec 2019-02-08T08:10:48+00:00 Peter Ljunglöf peter.ljunglof@heatherleaf.se 2019-02-08T08:10:48+00:00 urn:sha1:47ac01e4b9502ed573e4847ff563ada2670bd4ba 2019-01-22T16:16:32+00:00 Thomas Hallgren th-github@altocumulus.org 2019-01-22T16:16:32+00:00 urn:sha1:e4abff772556ebee68a7e3b2cbe4fd413a5e845e + 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-17T20:04:08+00:00 Thomas Hallgren th-github@altocumulus.org 2019-01-17T20:04:08+00:00 urn:sha1:fc1b51aa95ec9e1a628b1255722202472484ee37 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... 2017-09-07T12:01:46+00:00 Krasimir Angelov kr.angelov@gmail.com 2017-09-07T12:01:46+00:00 urn:sha1:60bd12a952dae70e23f8f79077ce41dd86043d34 2017-08-29T18:53:47+00:00 Krasimir Angelov kr.angelov@gmail.com 2017-08-29T18:53:47+00:00 urn:sha1:1e4ab95e418fd704d414b85524d94ae64175b179 2014-12-08T14:48:14+00:00 hallgren hallgren@chalmers.se 2014-12-08T14:48:14+00:00 urn:sha1:676b0d6e8192c3cab92ca4cb8247cba00533402d 2014-07-28T11:58:00+00:00 hallgren hallgren@chalmers.se 2014-07-28T11:58:00+00:00 urn:sha1:7a91afc02a0a245bf9fea248e61421a75c22137d All compiler modules now use GF.Text.Pretty instead of Text.PrettyPrint 2014-06-12T14:43:18+00:00 hallgren hallgren@chalmers.se 2014-06-12T14:43:18+00:00 urn:sha1:d6252d1c16d59ad26db0d08a531cddf39864d9db PGF exports the public, stable API. PGF.Internal exports additional things needed in the GF compiler & shell, including the nonstardard version of Data.Binary.