Georges Dupéron
|
d10077dbde
|
[make works] Search for TODOs in the makefile, so that they show up at each compilation. Let's try to fix them from time to time :) .
|
2015-12-04 22:44:44 +01:00 |
|
Georges Dupéron
|
353c2ff426
|
graph3.lp2.rkt typechecks, but doesn't add new placeholders to the queue yet. Also, the queue module itself isn't finished.
|
2015-12-04 22:34:39 +01:00 |
|
Georges Dupéron
|
5169b73bf5
|
WIP, fixed arrows given by define-temp-ids, using syntax-local-get-shadower, see __DEBUG__.rkt for an example.
|
2015-11-30 16:25:54 +01:00 |
|
Georges Dupéron
|
7acbb2acc8
|
WIP on graph2.lp2.rkt
|
2015-11-20 14:54:25 +01:00 |
|
Georges Dupéron
|
a2e37a10a4
|
Changed graph syntax to allow field names. Wrote node/incomplete-type and node/make-incomplete implementations.
|
2015-11-19 02:02:57 +01:00 |
|
Georges Dupéron
|
770e75834f
|
[make works] Added section “Making with-promises nodes” and improved others in graph2.lp2.rkt
|
2015-11-18 19:57:34 +01:00 |
|
Georges Dupéron
|
0602d2963e
|
Added define-temp-ids macro to lib/low.rkt
|
2015-11-18 15:24:57 +01:00 |
|
Georges Dupéron
|
a9a4b934b2
|
Split long lines in lib/low.rkt
|
2015-11-18 15:24:18 +01:00 |
|
Georges Dupéron
|
7e931314d1
|
Started writeup about graph macro.
|
2015-11-16 18:49:21 +01:00 |
|
Georges Dupéron
|
241649fcae
|
Cleaup, generate documentation PDFs in makefile, library functions for the queue library (next commit).
|
2015-11-14 22:27:27 +01:00 |
|
Georges Dupéron
|
fbc2411603
|
Tried to make low/typed-untyped-module.rkt tests for require/provide run. In the end the error was just due to https://github.com/racket/typed-racket/issues/228, upgrading to a newer build of Racket fixed this. Added a couple of typed/untyped utilities in the process.
|
2015-11-12 12:17:40 +01:00 |
|
Georges Dupéron
|
6b42be29b9
|
Finished testing implementation for FB case 58 “Add fold to replace-in-type (to extract information from the instance)”.
|
2015-11-11 22:25:42 +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
|
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
|
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 |
|