Georges Dupéron
|
3edaaf91f8
|
Rough solutions for refinement types as witnesses of run-time checks
|
2017-01-04 19:50:02 +01:00 |
|
Georges Dupéron
|
e951c7b26f
|
Started writing on phantom types as witnesses for invariants
|
2017-01-01 21:03:03 +01:00 |
|
Georges Dupéron
|
48bc1ed2f9
|
More optimisation.
|
2016-12-30 04:12:52 +01:00 |
|
Georges Dupéron
|
e9255ca439
|
Started writing phantom invariants representation, optimized flex records.
|
2016-12-30 02:25:20 +01:00 |
|
Georges Dupéron
|
de1f11dbf7
|
Switched flex records from thunks to delay/pure/stateless promises
|
2016-12-28 17:41:48 +01:00 |
|
Georges Dupéron
|
78e5037575
|
Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests
|
2016-12-28 02:17:24 +01:00 |
|
Georges Dupéron
|
f353f10597
|
Fixed rendering issues with Scribble
|
2016-12-27 19:18:54 +01:00 |
|
Georges Dupéron
|
5aae1459db
|
.
|
2016-12-22 23:13:24 +01:00 |
|
Georges Dupéron
|
d7c41fabe6
|
.
|
2016-12-22 19:54:17 +01:00 |
|
Georges Dupéron
|
de81a122d3
|
.
|
2016-12-22 19:16:09 +01:00 |
|
Georges Dupéron
|
cf790f6600
|
Migrated some files from the old graph implementation
|
2016-12-22 18:58:57 +01:00 |
|
Georges Dupéron
|
263a48521d
|
Working draft of a flexible implementation of (with tagged-instance [field val] …)
|
2016-12-22 18:57:59 +01:00 |
|
Georges Dupéron
|
72873d5d26
|
Old mindmap files
|
2016-12-16 17:34:25 +01:00 |
|
Georges Dupéron
|
7bc0b80356
|
notes
|
2016-12-16 17:34:06 +01:00 |
|
Georges Dupéron
|
60f8915c59
|
Changes to mindmap
|
2016-12-16 17:33:43 +01:00 |
|
Georges Dupéron
|
609b658d96
|
Changes to mindmap
|
2016-12-16 17:33:39 +01:00 |
|
Georges Dupéron
|
3458175b0c
|
Cleanup
|
2016-11-10 18:17:04 +01:00 |
|
Georges Dupéron
|
4b9d7cba22
|
Attempt to make it work without metafunctions, but I think it's going to be difficult to use
|
2016-11-10 17:45:31 +01:00 |
|
Georges Dupéron
|
a103d48aaf
|
Used backport-template-pr1514
|
2016-11-10 17:45:15 +01:00 |
|
Georges Dupéron
|
75703ac933
|
Cleanup
|
2016-11-05 02:55:12 +01:00 |
|
Georges Dupéron
|
f36c90a27b
|
Second template metafunction works too. The scopes issue is a bit fishy, but it will do until I tackle the task of having a propper, powerfull and expressive templating library.
|
2016-11-05 02:53:18 +01:00 |
|
Georges Dupéron
|
38c9c7b7d6
|
First metafunction works, with a bit of a hack to remove the annoying scope.
|
2016-11-05 02:46:09 +01:00 |
|
Georges Dupéron
|
d4167fe4e4
|
Renamed subtemplate and quasisubtemplate as #' and #` for conciseness
|
2016-11-04 23:48:16 +01:00 |
|
Georges Dupéron
|
37d6ba92ea
|
Needs cleanup, but works!
|
2016-11-04 23:30:49 +01:00 |
|
Georges Dupéron
|
4eecd1def8
|
WIP: have to separate function definition from its type with :, due to recursive functions.
|
2016-11-04 22:38:14 +01:00 |
|
Georges Dupéron
|
b083acd41a
|
TR-bug
|
2016-11-04 19:19:35 +01:00 |
|
Georges Dupéron
|
88b31299fb
|
Problem with local-expand and definitions. TODO: convert fold-τ and fold-f into for-syntax functions, instead of being a type expander and macro.
|
2016-11-04 17:38:13 +01:00 |
|
Georges Dupéron
|
cf23417f1f
|
Partial rewrite of traversal.hl.rkt, ready to add the caching mechanism.
|
2016-11-04 02:30:51 +01:00 |
|
Georges Dupéron
|
3b33c3676a
|
Removed duplicate dependency on phc-adt
|
2016-10-11 01:56:31 +02:00 |
|
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 |
|