1
0
forked from GitHub/gf-core
Commit Graph

2631 Commits

Author SHA1 Message Date
bringert
91cfeabcff More consistent use of RTS flags in lib/resource/Makefile. 2007-12-13 13:27:27 +00:00
aarne
4ea58bce2c resource lib name changed 2007-12-12 20:30:11 +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
f7b3c218cf changed names of mkNP and mkCN in ParadigmsRus 2007-12-07 08:35:39 +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
aarne
26fc7cb5db Delete the silly test file. 2007-12-06 15:19:56 +00:00
aarne
9a8b88c5f6 Silly test patch. 2007-12-06 15:18:49 +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
61d745d928 Russian parches by MG_UR 2007-12-05 07:13:53 +00:00
ali.eldada
01e50c45e4 20071202_AD 2007-12-02 20:59:45 +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
735790a1b6 Set GF_LIB_PATH to .. in resource-1.0/Makefile to find Prelude. 2007-12-03 15:37:20 +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
aarne
95b69941c3 some macros for terms, jments, modules 2007-11-29 10:23:26 +00:00
aarne
a7fb9e1d69 subdir for Devel/Compile 2007-11-29 10:22:25 +00:00
aarne
50a9e472c0 judgement construction after parsing 2007-11-28 22:11:47 +00:00
aarne
97fb347632 lookup module separated 2007-11-28 12:01:38 +00:00
aarne
6fef03ed01 new definitions of term and judgement syntax 2007-11-28 11:58:47 +00:00
aarne
1ea96697cd lookup modules 2007-11-28 08:44:04 +00:00
aarne
64b7f375c5 started experimental new module syntax 2007-11-27 14:23:11 +00:00