Georges Dupéron
|
c3bfafb927
|
Remove output so that Travis build succeeds.
|
2017-01-18 00:23:53 +01:00 |
|
Georges Dupéron
|
7a264197ea
|
Re-enable building HEAD with Travis
|
2017-01-18 00:01:26 +01:00 |
|
Georges Dupéron
|
2b74c85f83
|
Revert "Attempt to fix build on Travis"
This reverts commit 4ad59206eb.
|
2017-01-18 00:01:23 +01:00 |
|
Georges Dupéron
|
4ad59206eb
|
Attempt to fix build on Travis
|
2017-01-18 00:00:19 +01:00 |
|
Georges Dupéron
|
1ef7613daa
|
Got printing of the graph-info working
|
2017-01-17 23:03:41 +01:00 |
|
Georges Dupéron
|
bd04ef6262
|
Printing bug when printing the set.
|
2017-01-17 19:12:51 +01:00 |
|
Georges Dupéron
|
fb1786b4ac
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
Georges Dupéron
|
b7c2babf85
|
Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set)
|
2017-01-10 23:02:17 +01:00 |
|
Georges Dupéron
|
64d1756678
|
Started drafting the ≡ invariant representation as a type
|
2017-01-09 19:44:21 +01:00 |
|
Georges Dupéron
|
aceb9e71f3
|
Added checks for the assumptions I made on the behaviour of TR concerning phantom types, covariance, contravariance and its ability to recognize different formulations of the same type (or of a subtype or supertype). Updated the mindmap notes.
|
2017-01-06 19:05:43 +01:00 |
|
Georges Dupéron
|
ff4c9e2403
|
Added 6.7 in Travis build
|
2017-01-04 20:24:32 +01:00 |
|
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 |
|