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
|
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 |
|
bringert
|
2a59fffd45
|
Move transfer into the GF repo.
|
2005-11-25 16:36:19 +00:00 |
|