Georges Dupéron
|
16438869f2
|
Fixed #%plain-app vs #%app and #%plain-lambda vs lambda issue in fully-expanded-grammar.rkt
|
2016-10-11 01:55:22 +02:00 |
|
Georges Dupéron
|
742322a427
|
Use path within git repository for phc-adt dependency.
|
2016-10-11 00:55:31 +02:00 |
|
Georges Dupéron
|
3ae5e6bdaa
|
Remove -x option on raco test in .travis.yml, so that all modules are run, including those without a test submodule.
|
2016-10-11 00:23:46 +02:00 |
|
Georges Dupéron
|
dd21c82c85
|
Added tests for different orders of types in the union for traversal.hl.rkt
|
2016-10-08 17:19:26 +02:00 |
|
Georges Dupéron
|
3eecf3796e
|
Hopefully fixed order of union elements in the cond
|
2016-10-08 14:53:20 +02:00 |
|
Georges Dupéron
|
de8508f3ce
|
Added support for type-to-replaceᵢ directly within a union.
|
2016-10-08 03:10:04 +02:00 |
|
Georges Dupéron
|
dc11b3014e
|
dispatch-union seems to work
|
2016-10-07 22:42:20 +02:00 |
|
Georges Dupéron
|
74c707b65d
|
Small fix on traversal of unions (doesn't work yet).
|
2016-10-07 13:43:25 +02:00 |
|
Georges Dupéron
|
a486dc81f7
|
Ported traversal code to use subtemplate, fixed scope issue with subtemplate
|
2016-10-07 13:42:00 +02:00 |
|
Georges Dupéron
|
897c4ed99d
|
Finished tests for subtemplate
|
2016-10-07 11:58:33 +02:00 |
|
Georges Dupéron
|
9f738e12e5
|
Arrows for subtemplate derived ids work in DrRacket
|
2016-10-07 04:46:06 +02:00 |
|
Georges Dupéron
|
60e567af3b
|
Depend on the #dev versions of the phc-adt and phc-toolkit, for faster build cycles
|
2016-10-06 17:35:23 +02:00 |
|
Georges Dupéron
|
59d1d268a8
|
Tests for subtemplate
|
2016-10-06 17:30:15 +02:00 |
|
Georges Dupéron
|
6921eb0e67
|
Hopefully fixed scope issues with subtemplate
|
2016-10-06 16:56:19 +02:00 |
|
Georges Dupéron
|
29bf4ef88a
|
WIP.
|
2016-10-06 14:25:46 +02:00 |
|
Georges Dupéron
|
f4adf61aba
|
WIP
|
2016-10-06 02:02:23 +02:00 |
|
Georges Dupéron
|
41013e5ef4
|
Nearly finished subtemplate.
|
2016-10-05 18:54:43 +02:00 |
|
Georges Dupéron
|
88102c7263
|
Union of two tagged structures works
|
2016-10-04 13:23:37 +02:00 |
|
Georges Dupéron
|
4862573453
|
Preliminary support for tagged structures, early draft for unions
|
2016-10-03 23:55:26 +02:00 |
|
Georges Dupéron
|
4cc991e751
|
Cosmetic changes on the literate program
|
2016-10-03 03:38:46 +02:00 |
|
Georges Dupéron
|
922d50d02f
|
Added tests for more complex to-replace types.
|
2016-10-03 03:34:16 +02:00 |
|
Georges Dupéron
|
95c156717c
|
First draft for define-fold, all tests pass.
|
2016-10-03 03:25:28 +02:00 |
|
Georges Dupéron
|
4c84b1625d
|
Run Travis on 2 threads only, to avoid OOM when compiling phc-adt. Added and used check-equal?-values: form.
|
2016-10-03 01:29:53 +02:00 |
|
Georges Dupéron
|
49b3287758
|
Use full URL for th phc-adt dependency, as the catalogs did not get updated yet.
|
2016-10-03 01:04:01 +02:00 |
|
Georges Dupéron
|
1f395775ce
|
Build the hyper-literate document.
|
2016-10-03 00:04:29 +02:00 |
|
Georges Dupéron
|
f3ea5a4929
|
Started describing define-fold
|
2016-10-02 21:25:24 +02:00 |
|
Georges Dupéron
|
e66684c070
|
Removed from Travis build the Racket versions which are not compatible with phc-adt.
|
2016-10-02 03:58:27 +02:00 |
|
Georges Dupéron
|
1995dae967
|
Added some basic dependencies
|
2016-10-02 03:58:20 +02:00 |
|
Georges Dupéron
|
9a09370594
|
raco pkg new phc-graph
|
2016-08-17 14:09:56 +02:00 |
|