 bringert
|
e762f85933
|
Added bind operators, do-notation, a cons operator and list sytnax.
|
2005-11-30 20:27:01 +00:00 |
|
|
bringert
|
87b5b826ce
|
Added monad isntances for List and Maybe.
|
2005-11-30 18:57:23 +00:00 |
|
|
bringert
|
8460fbef67
|
Transfer: derive instances, not functions.
|
2005-11-30 18:42:45 +00:00 |
|
|
bringert
|
9664d6c886
|
Transfer: added monad class. fixed Compos class types.
|
2005-11-30 18:40:29 +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
|
5ffef88edc
|
Moved transfer libraries to transfer/lib
|
2005-11-30 16:00:06 +00:00 |
|
|
bringert
|
47ad17e78d
|
Moved class stuff to prelude.
|
2005-11-30 15:51:43 +00:00 |
|
|
aarne
|
684011b317
|
no size in html
|
2005-11-30 15:33:27 +00:00 |
|
|
aarne
|
9a711c2a08
|
resource howto started
|
2005-11-30 15:23:27 +00:00 |
|
|
aarne
|
0c99efe54a
|
VV rules
|
2005-11-30 12:26:55 +00:00 |
|
|
aarne
|
198b527658
|
completing Structural
|
2005-11-30 11:17:21 +00:00 |
|
|
bringert
|
80fcb22ef4
|
darcs.txt: mention that several patches can be sent at once.
|
2005-11-30 13:27:53 +00:00 |
|
|
bringert
|
dfcf9bd27b
|
Transfer: Ord extends Eq.
|
2005-11-30 13:20:04 +00:00 |
|
|
bringert
|
2d36a61173
|
Fixed typo in overload.tr.
|
2005-11-30 13:18:43 +00:00 |
|
|
bringert
|
bdffd0946a
|
Transfer: fleshed out overloading examples.
|
2005-11-30 12:34:14 +00:00 |
|
|
bringert
|
dfb58b8816
|
Added transfer Maybe module.
|
2005-11-30 12:28:50 +00:00 |
|
|
bringert
|
34bdfd066c
|
Remove more useless pattern matching and variable bindings in transfer compilation.
|
2005-11-30 12:04:21 +00:00 |
|
|
bringert
|
6c8ff8e84b
|
Transfer: removed some fixed TODOs.
|
2005-11-29 19:43:57 +00:00 |
|
|
aarne
|
33b28b19e9
|
added transfer cases
|
2005-11-30 09:14:07 +00:00 |
|
|
aarne
|
591f931900
|
transfer added to GF command interpreter[D[
|
2005-11-30 09:04:45 +00:00 |
|
|
janna
|
c55e857f27
|
russian_multi
|
2005-11-29 21:10:57 +00:00 |
|
|
bringert
|
b587a3b8bd
|
Added example of composOp overloading to overload.tr.
|
2005-11-29 19:43:00 +00:00 |
|
|
bringert
|
d7cf39ba87
|
Added patterns with guards to transfer TODO.
|
2005-11-29 19:42:43 +00:00 |
|
|
janna
|
96c263ea03
|
RussianSwadesh
|
2005-11-29 18:44:35 +00:00 |
|
|
bringert
|
bb5f9dc312
|
Use rec and sig for records.
|
2005-11-29 18:16:33 +00:00 |
|
|
bringert
|
2ebf7da067
|
Split widesnake example. Changed examples to use rec and sig keywords.
|
2005-11-29 18:15:15 +00:00 |
|
|
aarne
|
34916e8b50
|
restoring full coverage
|
2005-11-29 17:45:54 +00:00 |
|
|
bringert
|
81bea08c2c
|
Added stoneage transfer example.
|
2005-11-29 17:42:43 +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
|
6c109eecc4
|
Added numerals example.
|
2005-11-29 16:00:52 +00:00 |
|
|
bringert
|
43c50a6f4a
|
Made layout test example more compilcated.
|
2005-11-29 15:57:51 +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 |
|
|
aarne
|
dd70f6dce3
|
adverbs
|
2005-11-29 15:21:45 +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 |
|
|
aarne
|
5a1ce37e1c
|
relatives
|
2005-11-29 09:43:20 +00:00 |
|
|
bringert
|
930b5fd194
|
Added TODO about layout bug.
|
2005-11-28 23:03:22 +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
|
2e16e1e384
|
Changed all example programs to use layout syntax.
|
2005-11-28 21:45:22 +00:00 |
|