 aarne
|
6edb2f075a
|
debugging new compilation
|
2007-12-09 15:20:50 +00:00 |
|
|
aarne
|
6a4218e9ef
|
extend behaviour for interface and incomplete
|
2007-12-09 10:52:19 +00:00 |
|
|
aarne
|
b693ba103c
|
noemit as default in testgf3
|
2007-12-08 17:02:35 +00:00 |
|
|
aarne
|
2a46601ebb
|
breaking points 1..6 in new Compile
|
2007-12-08 16:51:39 +00:00 |
|
|
aarne
|
99e6923af6
|
documenting implementation started
|
2007-12-08 15:59:36 +00:00 |
|
|
aarne
|
f4d3b1a9fa
|
compilation line complete (but dysfunctional) for new GF internal format
|
2007-12-08 15:15:18 +00:00 |
|
|
aarne
|
e548f096e6
|
GFtoGFCC type checks (but is not correct)
|
2007-12-08 15:01:36 +00:00 |
|
|
aarne
|
5aca148d20
|
names resolve in new GFtoGFCC
|
2007-12-08 10:37:49 +00:00 |
|
|
aarne
|
84c9f3f483
|
started modifying GFtoGFCC for new internal GF format
|
2007-12-08 09:32:05 +00:00 |
|
|
aarne
|
e90ccb5002
|
a couple of fixes in new Optimize
|
2007-12-07 21:00:24 +00:00 |
|
|
aarne
|
d9521d2f4c
|
restructured some of the new GF format; modules now in place up to gfo generation
|
2007-12-07 20:47:58 +00:00 |
|
|
aarne
|
8437e6d295
|
started adding GF back optimization (Factorize)
|
2007-12-07 13:00:02 +00:00 |
|
|
aarne
|
36a0f92bdb
|
optimize in the compilation chain for new format
|
2007-12-07 11:12:39 +00:00 |
|
|
aarne
|
e013138f0c
|
refresh compilation phase in the new format
|
2007-12-07 10:23:18 +00:00 |
|
|
aarne
|
64ebc4f167
|
new type checker type checks
|
2007-12-06 21:43:21 +00:00 |
|
|
aarne
|
fe30e32748
|
in the middle of adapting CheckGrammar
|
2007-12-06 17:29:19 +00:00 |
|
|
aarne
|
bfd215aa7f
|
started grammar checking with new internal format
|
2007-12-06 15:50:54 +00:00 |
|
|
aarne
|
f08eb82f2b
|
restored work on Extend and Rename
|
2007-12-06 12:54:15 +00:00 |
|
|
bringert
|
8ddd6a59f3
|
Expose AbsGFCC and DataGFCC in gf-embed.cabal, since code generated by -haskell needs them.
|
2007-12-05 21:41:38 +00:00 |
|
|
bringert
|
2885e2fd8a
|
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
|
dc1c835563
|
restored interface and instance - at least for a while
|
2007-12-04 20:13:36 +00:00 |
|
|
aarne
|
11982849b9
|
rebuild integrated in Extend
|
2007-12-04 20:00:51 +00:00 |
|
|
aarne
|
7fabd2345d
|
building extensions in new source format
|
2007-12-04 17:10:28 +00:00 |
|
|
aarne
|
61763b5784
|
unifying judgement information - now easy
|
2007-12-04 15:23:49 +00:00 |
|
|
aarne
|
4279b17762
|
printing new source format
|
2007-12-04 15:01:01 +00:00 |
|
|
aarne
|
4698dfbe78
|
some missing cases in SourceToGF
|
2007-12-04 11:18:55 +00:00 |
|
|
aarne
|
7051331c20
|
test for new GF source format
|
2007-12-04 11:07:39 +00:00 |
|
|
aarne
|
a7b6887050
|
moved some modules to Devel.Grammar
|
2007-12-04 07:48:37 +00:00 |
|
|
aarne
|
0e1831abb4
|
SourceToGF working though not complete
|
2007-12-04 07:40:47 +00:00 |
|
|
bringert
|
10354e0db2
|
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
|
3ab863c1d4
|
Added install-gf3 target. Use EXEEXT to get correct gf3 file name on Windows.
|
2007-11-12 16:18:01 +00:00 |
|
|
bringert
|
ca6198dc98
|
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
|
4500ce6316
|
started parsing GF source into the new format
|
2007-12-03 17:40:59 +00:00 |
|
|
aarne
|
cea1946f3f
|
some macros for terms, jments, modules
|
2007-11-29 10:23:26 +00:00 |
|
|
aarne
|
be080aff39
|
judgement construction after parsing
|
2007-11-28 22:11:47 +00:00 |
|
|
aarne
|
813e899ebb
|
lookup module separated
|
2007-11-28 12:01:38 +00:00 |
|
|
aarne
|
5257fd963e
|
new definitions of term and judgement syntax
|
2007-11-28 11:58:47 +00:00 |
|
|
aarne
|
5b0f98f388
|
lookup modules
|
2007-11-28 08:44:04 +00:00 |
|
|
aarne
|
ba938b3530
|
started experimental new module syntax
|
2007-11-27 14:23:11 +00:00 |
|
|
aarne
|
8852637997
|
diagnostic error message in GrammarToHaskell
|
2007-11-15 17:09:33 +00:00 |
|
|
aarne
|
43eb40a688
|
dealing with Ints n in GrammarToGFCC
|
2007-11-15 16:49:20 +00:00 |
|
|
aarne
|
504bdedcc3
|
made Devel versions of Compute, CheckGrammar, Optimize, etc, to leave GF 2.8 untouched when experimenting
|
2007-11-12 21:42:13 +00:00 |
|
|
aarne
|
7e40df7d4c
|
made compile from source use optimized modules internally
|
2007-11-12 17:25:00 +00:00 |
|
|
aarne
|
5d06a31078
|
fixed a bug on not updating parameter table in record fields in GrammarToGFCC
|
2007-11-12 14:30:53 +00:00 |
|
|
aarne
|
6158445114
|
fixed bug with prawitz transform of course-of-values tables in Compute
|
2007-11-12 12:36:40 +00:00 |
|
|
aarne
|
b801149fbf
|
merged gfc and gfi to one binary, and a shell script for gfc
|
2007-11-12 09:17:02 +00:00 |
|
|
aarne
|
eb7b028601
|
printing grammarReference.js with gfc -jsref
|
2007-11-10 10:23:35 +00:00 |
|
|
aarne
|
ba735d802b
|
post-compute in GrammarToGFCC - what else is needed?
|
2007-11-09 17:24:08 +00:00 |
|
|
aarne
|
e394d725a4
|
ResFin workaround; type annot for ghc 6.8.1
|
2007-11-09 15:51:12 +00:00 |
|
|
bringert
|
6568ac4aea
|
Fix pre token bug in JS, both in gf and gfc. Pre tokens are still treated like normal tokens, but at least the generated code should be correct now.
|
2007-11-09 15:09:09 +00:00 |
|