Commit Graph

30 Commits

Author SHA1 Message Date
Georges Dupéron
1653e46139 Compatibility with Racket 7 2018-03-26 21:12:33 +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
e71857df5d Partially fixed copy-attribute, debugging. 2017-03-14 21:34:03 +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
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
5ba9ab5130 . 2017-01-29 23:46:37 +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
1aea43aeba Cleanup; documentation 2017-01-26 05:33:38 +01:00
Georges Dupéron
9881c55f7a Dropped dependency on phc-graph 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
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
d2f93d9ae6 Use master branch of phc-toolkit, phc-adt and type-expander 2017-01-20 15:24:20 +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
1ef7613daa Got printing of the graph-info working 2017-01-17 23:03:41 +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
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
cf790f6600 Migrated some files from the old graph implementation 2016-12-22 18:58:57 +01:00
Georges Dupéron
a103d48aaf Used backport-template-pr1514 2016-11-10 17:45:15 +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
742322a427 Use path within git repository for phc-adt dependency. 2016-10-11 00:55:31 +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
41013e5ef4 Nearly finished subtemplate. 2016-10-05 18:54:43 +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
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