summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/PGFtoHaskell.hs
AgeCommit message (Collapse)Author
2025-08-13add import Control.Monad when generating .hs with GADTsInari Listenmaa
2021-07-01Add --haskell=pgf2 flagJohn J. Camilleri
2020-08-03Replace deprecated pragma with up-to-date one. (#17)Inari Listenmaa
2020-07-31Remove accidentally added space character in deriving clause.Inari Listenmaa
2020-07-31Remove characters that aren't allowed in Haskell data types.Inari Listenmaa
GF allows more characters in its types, as long as they are inside single quotes. E.g. 'VP/Object' is a valid name for a GF category, but not for a Haskell data type.
2020-07-31Add option "data" to Haskell options.Inari Listenmaa
Imports Data.Data, all GF types derive Data, and uses DeriveDataTypeable.
2018-10-19Add {-# LANGUAGE GADTs -#} to the generated Haskell fileInari Listenmaa
2017-09-06in Haskell GADT generation, hide Tree in the import of PGFAarne Ranta
2017-08-29the embedded grammars now work with both the pure Haskell and the Haskell ↵Krasimir Angelov
binding API
2017-03-22fixed a bug in Eq instance generation for GADT and lexical categoriesaarne
2017-02-24corrected fg generation for lexical categories, to avoid a type error in ↵aarne
generated code
2015-08-28Comment out some dead code found with -fwarn-unused-bindshallgren
Also fixed some warnings and tightened some imports
2014-08-11a partial support for def rules in the C runtimekr.angelov
The def rules are now compiled to byte code by the compiler and then to native code by the JIT compiler in the runtime. Not all constructions are implemented yet. The partial implementation is now in the repository but it is not activated by default since this requires changes in the PGF format. I will enable it only after it is complete.
2014-06-12PGF library: expose only PGF and PGF.Internal instead of all moduleshallgren
PGF exports the public, stable API. PGF.Internal exports additional things needed in the GF compiler & shell, including the nonstardard version of Data.Binary.
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
+ References to modules under src/compiler have been eliminated from the PGF library (under src/runtime/haskell). Only two functions had to be moved (from GF.Data.Utilities to PGF.Utilities) to make this possible, other apparent dependencies turned out to be vacuous. + In gf.cabal, the GF executable no longer directly depends on the PGF library source directory, but only on the exposed library modules. This means that there is less duplication in gf.cabal and that the 30 modules in the PGF library will no longer be compiled twice while building GF. To make this possible, additional PGF library modules have been exposed, even though they should probably be considered for internal use only. They could be collected in a PGF.Internal module, or marked as "unstable", to make this explicit. + Also, by using the -fwarn-unused-imports flag, ~220 redundant imports were found and removed, reducing the total number of imports by ~15%.
2013-07-24hs datatype generation for empty abstract types addedaarne
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵kr.angelov
syntax
2011-04-06generate Eq instance for GADTaarne
2011-04-06fixed the printing of predefined and list categories in haskell=gadtaarne
2011-03-05added composOp generation to haskell-gadt, and an example in ↵aarne
examples/gadt-transfer
2011-03-04revived GADT generationaarne
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-02-17fix the Haskell code generationkrasimir
2009-12-14rename some modules that had GFCC in the name to PGF+somethingkrasimir