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
c887cae4fe
Documentation
2017-01-28 02:59:22 +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
29ca612421
Also reprovide racket/syntax from subtemplate/override
2017-01-26 17:36:25 +01:00
Georges Dupéron
7a4e03feb3
Reprovide stxparse-info/parse and stxparse-info/case in subtemplate/override.
2017-01-26 17:16:57 +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
3a927549e0
Skip raco cover, as it fails to run this library properly
2017-01-26 06:32:34 +01:00
Georges Dupéron
d323616442
README → use codecov badge and link
2017-01-26 06:27:09 +01:00
Georges Dupéron
d2fa9e3370
Remove test output
2017-01-26 06:24:54 +01:00
Georges Dupéron
fc47228c6f
Limit CPUs to avoid OOM
2017-01-26 06:20:50 +01:00
Georges Dupéron
5d8afa4d05
Filled in README file
2017-01-26 06:20:14 +01:00
Georges Dupéron
45e6bf38bf
Fixed scribble file
2017-01-26 06:17:09 +01:00
Georges Dupéron
54f2c88555
Only build on 6.8, as we need that for stxparse-info
2017-01-26 05:45:32 +01:00
Georges Dupéron
1aea43aeba
Cleanup; documentation
2017-01-26 05:33:38 +01:00
Georges Dupéron
9e7086624e
Switched to Public Domain / CC0 license now that I got permission from Cortus to release the packages in the Public Domain. This ensures that the code can be merged into other Racket projects, regardless of future license changes for the Racket project.
2017-01-26 05:11:18 +01:00
Georges Dupéron
9881c55f7a
Dropped dependency on phc-graph
2017-01-26 05:08:29 +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
f1ede1dd4d
Added package files for the subtemplate package.
2017-01-26 05:08:29 +01:00
Georges Dupéron
48ff8437ef
Renamed files
2017-01-26 05:08:21 +01:00
Georges Dupéron
bcced0995d
Extracted subtemplate from phc-graph
2017-01-26 04:55:01 +01:00
Georges Dupéron
f500dfcb1a
Improvements on subtemplate
2017-01-22 05:05:25 +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
d2f93d9ae6
Use master branch of phc-toolkit, phc-adt and type-expander
2017-01-20 15:24:20 +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
411c386bb1
Closes FB case #165 Use syntax? instead of identifier? in the graph-info types
2017-01-19 14:48:49 +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
21a98135ec
Cleanup
2017-01-18 11:44:07 +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
3caeea4d9f
Fixed 3D syntax issues by using prefabs.
2017-01-18 02:27:11 +01:00
Georges Dupéron
32ac4188a6
Remove older versions from Travis build, they seem to have issues with phc-graph/subtemplate-override and with some of the types used in thoughts.rkt
2017-01-18 00:25:06 +01:00
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
