msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
1,100 Commits 21 Branches 11 Tags
d0cf8461fcf183aa6c472085da0a092ccfbbea8c
Commit Graph

643 Commits

Author SHA1 Message Date
bringert
f91a36aaff Fixed layout stop word bug. 2005-11-30 21:30:36 +00:00
bringert
e762f85933 Added bind operators, do-notation, a cons operator and list sytnax. 2005-11-30 20:27:01 +00:00
bringert
8460fbef67 Transfer: derive instances, not functions. 2005-11-30 18:42:45 +00:00
bringert
997bc8c745 Transfer: reimplement operators with type classes. 2005-11-30 17:40:32 +00:00
bringert
8cec5d5d1a Transfer compiler: don't load the same module twice. 2005-11-30 17:40:11 +00:00
bringert
60ed11c321 Transfer compiler now has a search path. Use -ipath to add to the path. Created CompilerAPI. 2005-11-30 16:32:13 +00:00
bringert
47ad17e78d Moved class stuff to prelude. 2005-11-30 15:51:43 +00:00
bringert
34bdfd066c Remove more useless pattern matching and variable bindings in transfer compilation. 2005-11-30 12:04:21 +00:00
aarne
33b28b19e9 added transfer cases 2005-11-30 09:14:07 +00:00
aarne
591f931900 transfer added to GF command interpreter[ 2005-11-30 09:04:45 +00:00
bringert
bb5f9dc312 Use rec and sig for records. 2005-11-29 18:16:33 +00:00
bringert
9d56a5f9b2 Transfer: let expressions caused non-termination due to excessive strictness, fixed. 2005-11-29 17:40:43 +00:00
bringert
eebe62ec19 Transfer: added derive composFold 2005-11-29 17:08:43 +00:00
bringert
e561f6398b Transfer: support printing meta variable values. 2005-11-29 17:08:08 +00:00
bringert
cd5e3e6744 Transfer: don't eta-expand overshadowed constructors. 2005-11-29 17:07:17 +00:00
bringert
dba03132b5 Fixed type argument to recursive call in generated composOp. 2005-11-29 16:10:52 +00:00
bringert
cffaff9588 In transfer beta reduction optimization: reduce bottom-up instead of top-down. 2005-11-29 15:56:35 +00:00
bringert
8a1efe2ce5 Added meta variables to transfer front-end and core. 2005-11-29 15:48:13 +00:00
bringert
3cd1317bda Transfer generation: cat constructors should not have tree types. 2005-11-29 14:55:45 +00:00
bringert
e60754e612 Transfer data type generation now uses the Tree type constructor for data constructor types. 2005-11-29 13:59:27 +00:00
bringert
465ad22516 Added GrammarToTransfer. It works, except that the constructor types are missing Tree here and there. 2005-11-29 12:22:40 +00:00
bringert
3632c7eecf Transfer compiler: extended variable removal to variables bound in case expressions. 2005-11-28 23:02:04 +00:00
bringert
51fc5cb515 Transfer compilation: Change varibles which are not used to wildcards. 2005-11-28 22:39:53 +00:00
bringert
998ead90a6 Fixed transfer composOp generation to support tree types that don't take a single type argument. 2005-11-28 22:31:09 +00:00
bringert
0ee1c632f9 Changed precedence of projection to be higher than application. 2005-11-28 21:45:58 +00:00
bringert
576f25b53e Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing of tokens in correct positions in the layout test program. 2005-11-28 21:25:03 +00:00
bringert
4248f092c1 Cleaned up closure stuff in the transfer interpreter. 2005-11-28 19:12:15 +00:00
bringert
0fc7c76717 Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive transfer interpreter mode. 2005-11-25 18:02:36 +00:00
aarne
638826db35 questions and transfer in shell state 2005-11-25 17:40:51 +00:00
bringert
2a59fffd45 Move transfer into the GF repo. 2005-11-25 16:36:19 +00:00
peb
9d408658de solved: path problem in SimpleGFC 2005-11-24 10:02:53 +00:00
aarne
e583ecc830 simple problem tracing 2005-11-24 09:25:39 +00:00
aarne
b29877c590 extending proto resource API 2005-11-23 21:38:11 +00:00
bringert
f0e40a923d Make tools/mktoday.sh executable in dist and snapshot. Reported by Johan Bockgård. 2005-11-23 15:35:21 +00:00
bringert
40bc62016f Added srgs_xml_prob to HelpFile. 2005-11-23 13:16:31 +00:00
aarne
e79321be37 experimenting with English VP 2005-11-22 22:00:47 +00:00
bringert
19154d0317 Fixed bugs in the snapshot versioning code. 2005-11-18 14:43:44 +00:00
bringert
435c9aa5a0 Fixed snapshot building to use data-based version number. 2005-11-18 14:40:31 +00:00
aarne
43c850ffbc matching with "" 2005-11-18 14:24:12 +00:00
aarne
440e68ce4a nondeterministic lexer, e.g. subseqs 2005-11-17 23:17:42 +00:00
bringert
cace1d54b1 Updated ReleaseProcedure with darcs stuff. 2005-11-17 16:13:37 +00:00
bringert
1ca48c9a5e Changed Makefile use of CVS for creating dists to use darcs. 2005-11-17 16:07:51 +00:00
bringert
55b09624ff Document version requirements for ssh. 2005-11-17 15:57:09 +00:00
peb
16f1631906 "Committed_by_peb" 2005-11-16 09:21:21 +00:00
aarne
1c0ecb44c4 work on cf 2005-11-15 16:56:13 +00:00
aarne
50044f7686 extended cf syntax; Det experiment 2005-11-15 10:43:32 +00:00
aarne
fdc6eaa6ee arbitrary lincat records; noparse pragmas 2005-11-14 15:03:40 +00:00
aarne
387572ecb3 compilation of functors 2005-11-11 22:24:33 +00:00
bringert
3684eca40b Made mapAssignM more efficient. 2005-11-11 15:38:00 +00:00
bringert
051789bb40 More efficient implementations of mapPairsM and mapPairListM 2005-11-11 15:12:41 +00:00