Georges Dupéron
4d5c43ada4
Compatibility with Racket 7: adjusted test
2018-06-03 01:41:52 +02:00
Georges Dupéron
1653e46139
Compatibility with Racket 7
2018-03-26 21:12:33 +02:00
Georges Dupéron
eee77ec3c0
Fixed test for #5
2017-05-06 03:43:41 +02:00
Georges Dupéron
6e6c91c4cd
Closes #5 (?@@ + ?? within used to fail), closes #4 (add examples to the doc)
2017-05-06 03:38:02 +02:00
Georges Dupéron
30bf1aaa2d
Added tests for ~syntax-case, fixed stat-pattern in ~syntax-case: it should not escape the behaviour of _
2017-05-05 21:39:05 +02:00
Georges Dupéron
8bf9e48c02
Fixed bug with ellipses and omitted values for (define/with-syntax foo e) …
2017-05-05 19:51:35 +02:00
Georges Dupéron
9e707626a8
Comments, fixed a few small bugs, bumped version number.
2017-04-28 23:28:48 +02:00
Georges Dupéron
68dd58c36b
Simplified the generate-nested-ids contract so that it only checks the ellipsis counts, to get error messages without affecting performance too much.
2017-03-16 15:03:14 +01:00
Georges Dupéron
93e146e35d
Sketch for a performance test.
2017-03-15 01:15:17 +01:00
Georges Dupéron
e71857df5d
Partially fixed copy-attribute, debugging.
2017-03-14 21:34:03 +01:00
Georges Dupéron
5920708c47
Disable contracts for performance (a bit too aggressive, need to rollback some of these)
2017-03-14 21:14:33 +01:00
Georges Dupéron
7cd95285b9
Tests for ≠ ids, also fixed that bug for ??
2017-02-05 19:02:34 +01:00
Georges Dupéron
83faf976f1
Fixes bug: (ddd #'yᵢ) used to generate different ids each time, because the value of yᵢ was attached to the shadowed xᵢ, not to the “main” xᵢ.
2017-02-05 08:55:24 +01:00
Georges Dupéron
68f5d38902
Documentation, changed (begin x ...) to produce a splicing list, not a list (and documented accordingly)
2017-02-03 15:45:55 +01:00
Georges Dupéron
3b99a0ce02
Moved files into private/ (part 2: update files)
2017-02-03 12:50:05 +01:00
Georges Dupéron
4be72744a4
Tests for ?operations
2017-02-03 12:25:02 +01:00
Georges Dupéron
e7e60b1da9
More ?operations
2017-02-03 11:54:40 +01:00
Georges Dupéron
a0df96cb3a
Closes FB case 178 Attempt to allow escaping (template …) but keep the current nesting of ellipses
2017-02-03 09:21:04 +01:00
Georges Dupéron
208ad3e321
Closes FB case 198 override #%top to get subtemplate-like behaviour for ddd
2017-02-02 23:45:56 +01:00
Georges Dupéron
762446fa42
Support for ?? and ?@
2017-02-01 09:57:23 +01:00
Georges Dupéron
5580d9ee2c
Propper handling of omitted elements
2017-02-01 07:40:52 +01:00
Georges Dupéron
a46326c300
Improved #%app support for ddd
2017-01-31 06:08:37 +01:00
Georges Dupéron
a08c491baa
Closes 184 body which supports ddd on define
2017-01-31 02:32:20 +01:00
Georges Dupéron
5ba9ab5130
.
2017-01-29 23:46:37 +01:00
Georges Dupéron
eedc88f8e2
Closes FB case 193
...
subtemplate: check that if the hash-table access worked, any new pvars are compatible with the old ones on which the cache is based (in the sense of "no new non-#f positions").
Also check that all derived variables from the same xᵢ have the same shape (i.e. don't filter out derived variables for this check).
2017-01-28 04:55:30 +01:00
Georges Dupéron
d2d7623194
Closes FB issue 191 subtemplate: allow #f values for ~optional in syntax/parse
2017-01-27 21:48:40 +01:00
Georges Dupéron
cf92b0fc32
Closes FB case 186 Trigger error when stxparse-info is not active (use get-shadower and compare the ids)
2017-01-26 23:25:05 +01:00
Georges Dupéron
e4b3235a59
Various fixes. Closes FB case 189 Switch phc-graph to the packaged subtemplate.
2017-01-26 19:26:56 +01:00
Georges Dupéron
961d507fa9
Closes FB case 188 Cleanup assumption tests in subtemplate
2017-01-26 17:14:11 +01:00
Georges Dupéron
d2fa9e3370
Remove test output
2017-01-26 06:24:54 +01:00
Georges Dupéron
946db4f020
Changed tests to use bound-identifier=?, not free-identifier=?
2017-01-26 05:08:29 +01:00
Georges Dupéron
1f2a9eaebb
Changed subtemplate to use current-pvars+unique
2017-01-26 05:08:29 +01:00
Georges Dupéron
bcced0995d
Extracted subtemplate from phc-graph
2017-01-26 04:55:01 +01:00
Georges Dupéron
693ab9e84e
Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types
2017-01-20 18:28:37 +01:00
Georges Dupéron
7991ed7d7e
Added missing require
2017-01-20 16:31:22 +01:00
Georges Dupéron
4589fdff69
Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects
2017-01-20 16:04:40 +01:00
Georges Dupéron
6989b4f339
Closes FB case 168 Don't use /top-loc in graph-info, as the macro and its use are within the same file
2017-01-20 15:18:32 +01:00
Georges Dupéron
2de609c523
Closes FB case 167 Catch the errors when first calling compute-graph-info. If there are any, parameterize check-remembered-node! to not lift errors
2017-01-20 00:28:47 +01:00
Georges Dupéron
c896df5666
Closes FB case #166 Check that the contracts for graph-info are flat
2017-01-19 14:26:20 +01:00
Georges Dupéron
dc449fae4d
Remove output, incomplete types should not be in the main graph type, as wrappers may add/remove fields in the incomplete type in the graph transform or creation code.
2017-01-18 04:45:04 +01:00
Georges Dupéron
f615ae243b
Fixed storage of graph-info
2017-01-18 04:11:41 +01:00
Georges Dupéron
00c5471830
Found source of the "ill-formed code (unexpected graph structure)" error ( https://github.com/racket/racket/issues/1580 )
2017-01-18 03:37:42 +01:00
Georges Dupéron
bd04ef6262
Printing bug when printing the set.
2017-01-17 19:12:51 +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
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
3458175b0c
Cleanup
2016-11-10 18:17:04 +01:00
