1307 Commits

Author	SHA1	Message	Date
bernardy	71ca9c8df1	Workaround a ghc 6.8.2 bug	2007-12-17 10:15:20 +00:00
aarne	5de05d36da	more example languages	2007-12-19 10:50:17 +00:00
aarne	2d5f98dc05	took back smart type of Int ; Digits type in resource and some adjustments of Det syntax (not yet for romance and russian)	2007-12-17 18:12:46 +00:00
aarne	eb10ccbe7c	restored Int size and last ; added lib/prelude to be the last in any grammar path	2007-12-16 22:24:36 +00:00
aarne	3f4bb6c40c	completed ConvertGFCC for all terms	2007-12-14 11:16:01 +00:00
aarne	61a9bdbe34	removed dep. on GFCCRaw	2007-12-14 09:25:18 +00:00
aarne	de0fe5c10a	added a module for testgf3	2007-12-14 07:42:56 +00:00
aarne	0d443e8cf3	oops, readded CanonToGFCC to darcs	2007-12-14 07:32:59 +00:00
aarne	03589b5a3c	restored CanonToGFCC as a wrapper of GFCC generation	2007-12-14 07:31:53 +00:00
aarne	2805f48ba3	some generated GFCCRaw files added to darcs; make gf3langs for alltenses	2007-12-13 22:15:19 +00:00
aarne	3dca8b78d7	removed gfcc via gfc everywhere; workaround for russian in present	2007-12-13 22:05:14 +00:00
aarne	095018c8e4	new GFCC concrete syntax in place everywhere	2007-12-13 20:19:47 +00:00
aarne	8de623d11e	lisp-like GFCC syntax; doesn't quite work yet in gf3	2007-12-13 16:36:32 +00:00
aarne	072b48065d	prelude sources to lib/src; present in StructuralEng; refactored checkGFCC	2007-12-13 10:12:00 +00:00
bringert	e6c9cb2b52	s/resource-1.0/resource/ in src/Makefile.	2007-12-13 13:39:04 +00:00
aarne	f472bf266c	variants in gfcc generation	2007-12-11 15:07:48 +00:00
aarne	77a502085d	some adjustments in GFCC generation (old)	2007-12-10 16:46:04 +00:00
aarne	3e788e5bbd	debugging new compilation	2007-12-09 15:20:50 +00:00
aarne	6093c2d3e4	extend behaviour for interface and incomplete	2007-12-09 10:52:19 +00:00
aarne	c19e8c31b7	noemit as default in testgf3	2007-12-08 17:02:35 +00:00
aarne	cc98b779fd	breaking points 1..6 in new Compile	2007-12-08 16:51:39 +00:00
aarne	7cfbba9294	documenting implementation started	2007-12-08 15:59:36 +00:00
aarne	0b90d257f9	compilation line complete (but dysfunctional) for new GF internal format	2007-12-08 15:15:18 +00:00
aarne	0807b556be	GFtoGFCC type checks (but is not correct)	2007-12-08 15:01:36 +00:00
aarne	60060e0a8a	names resolve in new GFtoGFCC	2007-12-08 10:37:49 +00:00
aarne	07cc4a9fc5	started modifying GFtoGFCC for new internal GF format	2007-12-08 09:32:05 +00:00
aarne	49c91adf7a	a couple of fixes in new Optimize	2007-12-07 21:00:24 +00:00
aarne	1e8f17d12b	restructured some of the new GF format; modules now in place up to gfo generation	2007-12-07 20:47:58 +00:00
aarne	a935576674	started adding GF back optimization (Factorize)	2007-12-07 13:00:02 +00:00
aarne	b6484890b1	optimize in the compilation chain for new format	2007-12-07 11:12:39 +00:00
aarne	091f9f0c1b	refresh compilation phase in the new format	2007-12-07 10:23:18 +00:00
aarne	5d1ad0badc	new type checker type checks	2007-12-06 21:43:21 +00:00
aarne	35f585b352	in the middle of adapting CheckGrammar	2007-12-06 17:29:19 +00:00
aarne	53078b23f0	started grammar checking with new internal format	2007-12-06 15:50:54 +00:00
aarne	885b5bf681	restored work on Extend and Rename	2007-12-06 12:54:15 +00:00
bringert	f848448f73	Expose AbsGFCC and DataGFCC in gf-embed.cabal, since code generated by -haskell needs them.	2007-12-05 21:41:38 +00:00
bringert	48d199fb35	Update GF-embed.cabal to use expose GF.GFCC.API. This pulls in a lot fewer modules than the old version. Use Cabal configurations to compile on 6.8.1. This unfortunately means that users of GHC < 6.8 must upgrade to Cabal 1.2 or greater.	2007-12-05 20:05:42 +00:00
aarne	e7b03c9446	restored interface and instance - at least for a while	2007-12-04 20:13:36 +00:00
aarne	8b68b198a4	rebuild integrated in Extend	2007-12-04 20:00:51 +00:00
aarne	e2c8dc270f	building extensions in new source format	2007-12-04 17:10:28 +00:00
aarne	8c247e05fc	unifying judgement information - now easy	2007-12-04 15:23:49 +00:00
aarne	3d74432c54	printing new source format	2007-12-04 15:01:01 +00:00
aarne	836583cfac	some missing cases in SourceToGF	2007-12-04 11:18:55 +00:00
aarne	67528a5c18	test for new GF source format	2007-12-04 11:07:39 +00:00
aarne	d9a90f6917	moved some modules to Devel.Grammar	2007-12-04 07:48:37 +00:00
aarne	476a92ba19	SourceToGF working though not complete	2007-12-04 07:40:47 +00:00
bringert	eb31512869	Haskell GSyntax printer?: encode generated code as UTF-8. Current GHC versions treat source files as UTF-8 encoded.	2007-11-28 13:45:49 +00:00
bringert	2ea966ba96	Added install-gf3 target. Use EXEEXT to get correct gf3 file name on Windows.	2007-11-12 16:18:01 +00:00
bringert	48a4570e64	Use configure to produce a gfc script with the correct path to gf3. NOTE: you need to re-run autoconf after pulling this patch.	2007-11-12 16:17:04 +00:00
aarne	a52ead0f91	started parsing GF source into the new format	2007-12-03 17:40:59 +00:00