Georges Dupéron
|
e44d527f2b
|
WIP.
|
2015-11-11 01:13:35 +01:00 |
|
Georges Dupéron
|
392999de86
|
WIP on FogBugz case 58 “Add fold to replace-in-type (to extract information from the instance)”.
|
2015-11-10 19:35:24 +01:00 |
|
Georges Dupéron
|
116d16f74e
|
56: Write more text in rewrite-type.lp2.rkt
|
2015-11-10 17:51:55 +01:00 |
|
Georges Dupéron
|
e8ab36d022
|
Finished writing rewrite-type.lp2.rkt . Fixes case 24.
|
2015-11-09 21:32:32 +01:00 |
|
Georges Dupéron
|
7d792f6623
|
Before simplifying the strategy fro rewrite-type.lp2.rkt
|
2015-11-09 18:10:32 +01:00 |
|
Georges Dupéron
|
4a25c49169
|
Implemented rewrite-type, but it does not work for vectors, because (λ ([x : (Vector String)]) (match x [(vector a) (cons 1 a)] [_ 'continue])) can yield 'continue, and it does not work for lists because of some type inference issues.
|
2015-11-09 13:02:30 +01:00 |
|
Georges Dupéron
|
449a6f4a09
|
Added let-abort and let*-abort
|
2015-11-06 15:32:40 +01:00 |
|
Georges Dupéron
|
40fe7e03d5
|
Wrote cond-abort module, started using it in rewrite-type.
|
2015-11-06 13:36:50 +01:00 |
|
Georges Dupéron
|
1273cd0e4e
|
Work done last week.
|
2015-10-28 19:28:46 +01:00 |
|
Georges Dupéron
|
639ce21a13
|
Submodule lib/doc/bracket/: Ignored and removed compiled/ folders
|
2015-10-22 18:20:31 +02:00 |
|
Georges Dupéron
|
44c6c951cc
|
Added lib/sequences.rkt, transformed format-ids into a function, moved format-ids and the rest of lib/untyped/ids.rkt into lib/low.rkt, added define-modules macro. Adjusted README and lib/untyped.rkt accordingly.
|
2015-10-22 18:19:13 +02:00 |
|
Georges Dupéron
|
494537057f
|
Initial commit.
|
2015-10-21 18:35:42 +02:00 |
|