Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2019-04-12T09:04:40+00:00 2019-04-12T09:04:40+00:00 krangelov kr.angelov@gmail.com 2019-04-12T09:04:40+00:00 urn:sha1:c628e11c01c3c8c642c540a94ea927be42d6d2f3 2019-03-07T13:47:37+00:00 Thomas Hallgren th-github@altocumulus.org 2019-03-07T13:47:37+00:00 urn:sha1:b783299b73b5c8a8229a45a830cf9b6be0be4f8c 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 2016-03-22T13:13:35+00:00 krasimir krasimir@chalmers.se 2016-03-22T13:13:35+00:00 urn:sha1:a393c1a246bb946e53f26b7b91a173c2ba1a0fa7 2016-03-22T10:28:15+00:00 krasimir krasimir@chalmers.se 2016-03-22T10:28:15+00:00 urn:sha1:ce7072085947f4981c8d6d49b571e3cf5683fbb6 2016-03-21T13:27:44+00:00 krasimir krasimir@chalmers.se 2016-03-21T13:27:44+00:00 urn:sha1:c8ebe093150509d9f01d82f0d698ef5df09bd985