bringert
|
16aa3bbbc1
|
transferc now uses env var TRANSFER_PATH to locate imports.
|
2006-09-13 11:46:04 +00:00 |
|
bringert
|
b8f1702110
|
Transfer: some TODOs. Lots of minor fixes in type checking algorithm.
|
2006-03-20 18:23:55 +00:00 |
|
bringert
|
30ba078db5
|
Some simple clarifications in the transfer type checking document.
|
2006-03-20 15:15:56 +00:00 |
|
bringert
|
9d920e9735
|
Expermintation woth a collections framework for transfer.
|
2006-03-20 14:46:47 +00:00 |
|
bringert
|
7ff1b927e8
|
Added some tricky transfer type checking examples.
|
2006-03-20 14:04:11 +00:00 |
|
bringert
|
14b9c4ff8c
|
Transfer TODO: added (A,B : Type) argument types.
|
2006-03-20 14:03:34 +00:00 |
|
bringert
|
628acf267b
|
Transfer prelude: added missing type arguments to some type classes.
|
2006-03-15 16:48:35 +00:00 |
|
bringert
|
28606fccd2
|
Fixed typo in transfer prelude: prim_eq_Str
|
2006-03-15 16:25:40 +00:00 |
|
bringert
|
e6ecef1fba
|
Transfer reflexive example: added ideal version.
|
2006-03-13 10:56:45 +00:00 |
|
bringert
|
6779c45f5d
|
Added transfer example: constructing reflexives.
|
2006-03-13 10:53:44 +00:00 |
|
bringert
|
cf2d695f74
|
Transfer type system: some random changes
|
2006-03-06 16:55:22 +00:00 |
|
bringert
|
773fb9080c
|
Transfer type checking algorithm: started on conversion.
|
2006-03-03 15:56:15 +00:00 |
|
bringert
|
7513cf8ef4
|
Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation.
|
2006-03-03 10:56:34 +00:00 |
|
bringert
|
dd0d26c022
|
Transfer: added beginnings of a type checking algorithm description.
|
2006-03-03 10:37:59 +00:00 |
|
bringert
|
05377a9a65
|
Report errors in at command.
|
2006-01-20 18:18:49 +00:00 |
|
bringert
|
deb9e3f482
|
Transfer compiler: rename variables before doing any substitutions.
|
2005-12-09 13:06:05 +00:00 |
|
bringert
|
6b137b54ba
|
Transfer: changed syntax to remove the mandatory type annotation in let.
|
2005-12-09 11:45:57 +00:00 |
|
bringert
|
d6fb8d218b
|
Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, made it 1-based as in docs, instead of 0-based as before.
|
2005-12-08 09:45:17 +00:00 |
|
bringert
|
2109eb29ff
|
Transfer: Added compile_all.sh.
|
2005-12-08 09:39:36 +00:00 |
|
bringert
|
30e8bc6cc0
|
Transfer: derive Eq Bool
|
2005-12-07 10:11:41 +00:00 |
|
bringert
|
900a8f1142
|
Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.
|
2005-12-06 16:33:40 +00:00 |
|
bringert
|
099e5068d7
|
Simple transfer tutorial touch-up.
|
2005-12-06 16:26:55 +00:00 |
|
bringert
|
95854ea11b
|
Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files.
|
2005-12-06 16:23:29 +00:00 |
|
bringert
|
817ee33c2e
|
Transfer: fixed syntax error in prelude definition of partition.
|
2005-12-06 15:59:43 +00:00 |
|
bringert
|
cd9150855d
|
Transfer: moved pair stuff to prelude. Added partition function.
|
2005-12-06 12:39:11 +00:00 |
|
aarne
|
fc0ec0c0cd
|
opers in cnc
|
2005-12-06 12:39:36 +00:00 |
|
bringert
|
936e402373
|
Added beginnings of a transfer language reference.
|
2005-12-05 18:01:59 +00:00 |
|
bringert
|
2b8e3311f4
|
Removed variable for the type argument of List.
|
2005-12-05 17:35:32 +00:00 |
|
bringert
|
48cfd7d66f
|
Renamed transfer compiler and interpreter.
|
2005-12-05 16:53:27 +00:00 |
|
bringert
|
98b8d8d081
|
Changed test.tr to run a fibNat test.
|
2005-12-05 16:52:56 +00:00 |
|
bringert
|
224d2451d7
|
Added aggregation example.
|
2005-12-05 16:45:11 +00:00 |
|
bringert
|
ccb780361f
|
Added tuple expressions and patterns.
|
2005-12-05 16:44:56 +00:00 |
|
bringert
|
3442d42d3b
|
Transfer: fixed Eq derivation to at least work for GF-generated Tree types.
|
2005-12-05 14:14:19 +00:00 |
|
bringert
|
ece605f887
|
Transfer added guards and Eq derivation.
|
2005-12-02 18:33:08 +00:00 |
|
bringert
|
e1504e6ba0
|
Added some differences between Cayenne and Transfer to transfer README
|
2005-12-02 13:05:02 +00:00 |
|
bringert
|
fe01b165f7
|
Transfer: removed list syntax from TODO.
|
2005-12-01 17:28:50 +00:00 |
|
bringert
|
a7af7bc384
|
Added list patterns. Added som simple prelude functions.
|
2005-12-01 17:27:06 +00:00 |
|
bringert
|
df1e92e837
|
Transfer: Added Double type.
|
2005-12-01 16:55:57 +00:00 |
|
bringert
|
f66e6e301c
|
Transfer: remove disjunctive patterns from TODO.
|
2005-12-01 16:19:43 +00:00 |
|
bringert
|
12d4bc020d
|
Transfer: added support for disjunctive patterns.
|
2005-12-01 15:37:47 +00:00 |
|
bringert
|
64166927a3
|
Transfer: removed some fixed TODOs.
|
2005-12-01 11:32:09 +00:00 |
|
bringert
|
d0cf8461fc
|
Transfer: moved stuff around in prelude. Added some new simple instances.
|
2005-12-01 11:30:15 +00:00 |
|
bringert
|
50b25c759b
|
Transfer: Added Add instance for lists.
|
2005-12-01 11:18:05 +00:00 |
|
bringert
|
f91a36aaff
|
Fixed layout stop word bug.
|
2005-11-30 21:30:36 +00:00 |
|
bringert
|
cd5e1c5ec7
|
Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals.
|
2005-11-30 21:02:44 +00:00 |
|
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 |
|