aarne
|
5e0e82250e
|
partial check of dependencies with restricted inheritance
|
2007-11-08 23:34:45 +00:00 |
|
aarne
|
a9472f91e5
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
bernardy
|
43e9eb3a1a
|
Slightly nicer output when reading old grammars
|
2007-10-15 08:05:33 +00:00 |
|
kr.angelov
|
873a160537
|
FCat is just a plain integer now
|
2007-10-12 16:00:37 +00:00 |
|
aarne
|
1fb749a5ec
|
removing a trace
|
2007-10-12 08:42:52 +00:00 |
|
aarne
|
cf3fcbf582
|
check circularity in param
|
2007-10-12 08:37:57 +00:00 |
|
aarne
|
8d0aaf0b24
|
cleaned up obsolete GFCC references
|
2007-10-06 07:37:44 +00:00 |
|
aarne
|
48623470cd
|
gf works with the new gfcc format
|
2007-10-05 12:54:29 +00:00 |
|
aarne
|
7d7702c375
|
order of FCFGS in shell state.
|
2007-09-28 07:06:53 +00:00 |
|
kr.angelov
|
6aacec3591
|
remove FTypes module and move all definitions to Formalism.FCFG
|
2007-09-24 08:12:11 +00:00 |
|
kr.angelov
|
0cd5e62e83
|
remove some redundant dependencies from FCFG
|
2007-09-23 20:01:25 +00:00 |
|
aarne
|
6e4104ffa9
|
compact printing of gf files
|
2007-09-20 21:51:54 +00:00 |
|
aarne
|
7825a1a1c5
|
adapted GFCC2FCFG to other uses of GFCC, made it to default parser
|
2007-09-19 13:49:12 +00:00 |
|
kr_angelov
|
3f183ce821
|
GFCC to FCFG conversion
|
2006-12-28 16:45:57 +00:00 |
|
aarne
|
c27087d14d
|
bud fix in reading gfc without gfr
|
2007-09-17 06:58:41 +00:00 |
|
aarne
|
133b716338
|
strict reading of files; bug fix in readFiles in ShellState
|
2007-09-16 20:52:27 +00:00 |
|
aarne
|
63f060dcf6
|
hacky solution to name resolution warnings
|
2007-07-05 14:08:58 +00:00 |
|
aarne
|
c7f488b11e
|
contravariance in forgiving lock fields
|
2007-07-02 11:53:04 +00:00 |
|
aarne
|
e3f1210369
|
extended functor syntax
|
2007-06-19 18:12:35 +00:00 |
|
aarne
|
c212633be8
|
fixed the mysterious "file..gfc" error
|
2007-06-18 21:21:13 +00:00 |
|
aarne
|
6090012fa2
|
overloading in ParadigmsFre
|
2007-06-18 18:31:02 +00:00 |
|
aarne
|
ed5b02d4aa
|
checking name conflicts; some RGs don't work now
|
2007-06-17 21:56:27 +00:00 |
|
aarne
|
ef9174e35d
|
pattern matching optimization; trace of fun in compilation with -v
|
2007-06-08 12:50:01 +00:00 |
|
aarne
|
06acca1f67
|
syntax interfaces
|
2007-05-31 18:46:29 +00:00 |
|
aarne
|
76268417db
|
overload checking and messages; resource.txt modifs
|
2007-05-31 09:58:38 +00:00 |
|
aarne
|
035689f8c7
|
started direct compiler from GF to GFCC
|
2007-05-15 16:35:13 +00:00 |
|
aarne
|
5f2121e181
|
removed the Str/Tok distinction in CheckGrammar - obsolete anyway.
|
2007-05-03 13:55:34 +00:00 |
|
aarne
|
6c9ddcda8b
|
fix in etaexpand optimization
|
2007-01-11 11:42:39 +00:00 |
|
aarne
|
46994dec58
|
a slight optimization in eta expand
|
2007-01-10 21:27:15 +00:00 |
|
aarne
|
935594eb86
|
semantics of variants
|
2007-01-10 21:03:18 +00:00 |
|
aarne
|
ed46bb1364
|
length test in overload
|
2006-12-21 10:38:26 +00:00 |
|
aarne
|
fd90fe0791
|
overload rules and their documentation
|
2006-12-21 09:25:02 +00:00 |
|
aarne
|
0bf909b0fd
|
overload resolution with value type, for experiment
|
2006-12-19 23:34:36 +00:00 |
|
aarne
|
2f68128323
|
partial application in overload resolution, with priority for full app
|
2006-12-19 16:32:15 +00:00 |
|
aarne
|
35eaaa0da6
|
rename patterns bug fix
|
2006-11-24 09:32:16 +00:00 |
|
aarne
|
1d372525ea
|
Constructors documented
|
2006-11-21 18:18:54 +00:00 |
|
aarne
|
5c3e14efbc
|
overloading API and examples
|
2006-11-18 21:10:46 +00:00 |
|
aarne
|
9d1cc07284
|
normalize record types in overload resolution
|
2006-11-18 20:54:10 +00:00 |
|
aarne
|
8e07d61ccf
|
overload syntax; type printing in CheckGrammar
|
2006-11-18 16:54:23 +00:00 |
|
aarne
|
580f7d7995
|
oper overloading: first implemenatation using records
|
2006-11-17 13:40:55 +00:00 |
|
aarne
|
546e778ba8
|
internal representation for param value index
|
2006-11-14 19:13:33 +00:00 |
|
aarne
|
f10d657df1
|
bug fix with ** in Evaluation
|
2006-11-13 23:55:50 +00:00 |
|
aarne
|
52bb034d8e
|
thread EEnv into ShellState
|
2006-11-12 13:24:13 +00:00 |
|
aarne
|
69dba72a3e
|
i -eval bug fixed: should work now
|
2006-11-12 11:31:08 +00:00 |
|
aarne
|
0ea31f2601
|
new compilation phase, not finished
|
2006-11-10 16:22:01 +00:00 |
|
aarne
|
d3e1295243
|
lookup with more information
|
2006-11-09 22:05:43 +00:00 |
|
aarne
|
c3cefb4d48
|
record order bug fix
|
2006-10-11 20:44:18 +00:00 |
|
aarne
|
e97bbc054f
|
gfcc compilation: know bugs fixed
|
2006-10-01 15:41:32 +00:00 |
|
aarne
|
927ad7b135
|
bug fixes in multigrammar handling and GFCC generation
|
2006-09-16 18:42:46 +00:00 |
|
aarne
|
39a31d07d5
|
the Error type; better lexer error reporting
|
2006-09-01 15:11:22 +00:00 |
|