10 Commits

Author	SHA1	Message	Date
hallgren	cbe5e8ab18	Convert from Text.PrettyPrint to GF.Text.Pretty ... All compiler modules now use GF.Text.Pretty instead of Text.PrettyPrint	2014-07-28 11:58:00 +00:00
hallgren	f739841497	PGF library: expose only PGF and PGF.Internal instead of all modules ... PGF exports the public, stable API. PGF.Internal exports additional things needed in the GF compiler & shell, including the nonstardard version of Data.Binary.	2014-06-12 14:43:18 +00:00
hallgren	decd7122de	Eliminate mutual dependencies between the GF compiler and the PGF library ... + 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-11-05 13:11:10 +00:00
peter.ljunglof	035b7731e5	major changes to the prolog export	2012-06-27 23:29:05 +00:00
peter.ljunglof	a1c16e36b0	Export PGF in Python format	2012-06-25 14:16:24 +00:00
krasimir	57b8e42601	added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.	2010-03-20 07:26:53 +00:00
krasimir	3685595ece	cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification	2010-01-27 09:39:14 +00:00
krasimir	a039808141	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	15ddc283d4	rename some modules that had GFCC in the name to PGF+something	2009-12-14 10:10:58 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00