7aebfbcd88Changed my name :)
Suzanne Soy
2021-03-04 20:38:09 +0000
a3292113bbUpdated Racket versions in .travis.yml
main
Georges Dupéron
2019-04-25 13:08:17 +0200
1f886a6a06Compatibility with Racket 7: template-metafunction? → metafunction?
Georges Dupéron
2018-06-03 01:43:12 +0200
23945c0891Compatibility with Racket 7: syntax/parse/private/residual → racket/private/template
Georges Dupéron
2018-06-03 01:42:49 +0200
0b424fdc6fCompatibility with Racket 7: make-attribute-mapping
Georges Dupéron
2018-06-03 01:42:26 +0200
4d5c43ada4Compatibility with Racket 7: adjusted test
Georges Dupéron
2018-06-03 01:41:52 +0200
de0bf3a3b1Fixed raco test command (-x -> -r)
Georges Dupéron
2018-05-31 19:54:53 +0200
1653e46139Compatibility with Racket 7
Georges Dupéron
2018-03-26 21:12:33 +0200
84e2fd98d7Updated maintenance badge for 2018
Georges Dupéron
2018-01-27 13:02:04 +0100
10662ed8baTravis build on Racket 6.8 until 6.12
Georges Dupéron
2018-01-27 12:46:55 +0100
63026daba3Circumvent overzealous use of reader abbreviations by scribble for the documentation of #,, and #,@, and #,,@
Georges Dupéron
2017-05-06 13:55:25 +0200
d388abfee4Updated badges to use website online/offline detection
Georges Dupéron
2017-05-06 13:35:46 +0200
eee77ec3c0Fixed test for #5
Georges Dupéron
2017-05-06 03:43:41 +0200
c6783850d1Fixed layout (overfull hbox)
Georges Dupéron
2017-05-06 03:39:32 +0200
6e6c91c4cdCloses#5 (?@@ + ?? within used to fail), closes#4 (add examples to the doc)
Georges Dupéron
2017-05-06 03:38:02 +0200
6e9b920477Removed compile-time debugging display, transformed it into a test.
Georges Dupéron
2017-05-05 22:00:30 +0200
30bf1aaa2dAdded tests for ~syntax-case, fixed stat-pattern in ~syntax-case: it should not escape the behaviour of _
Georges Dupéron
2017-05-05 21:39:05 +0200
8bf9e48c02Fixed bug with ellipses and omitted values for (define/with-syntax foo e) …
Georges Dupéron
2017-05-05 19:51:35 +0200
925de55a92Comments and cleanup
Georges Dupéron
2017-04-29 02:47:36 +0200
9e707626a8Comments, fixed a few small bugs, bumped version number.
Georges Dupéron
2017-04-28 23:28:48 +0200
60a7423b2dRewrote .travis.yml
Georges Dupéron
2017-04-20 09:40:46 +0200
385406aad0Added maintenance badge (2017)
Georges Dupéron
2017-04-19 20:18:50 +0200
68dd58c36bSimplified the generate-nested-ids contract so that it only checks the ellipsis counts, to get error messages without affecting performance too much.
Georges Dupéron
2017-03-16 15:02:41 +0100
d8cc62ccc1Removed ;racket/contract commented-out require forms
Georges Dupéron
2017-03-15 12:12:34 +0100
93e146e35dSketch for a performance test.
Georges Dupéron
2017-03-15 01:15:17 +0100
a37d944da2Cleanup, re-enabled one contract
Georges Dupéron
2017-03-15 01:04:01 +0100
27380a232dBugfix
Georges Dupéron
2017-03-14 23:51:53 +0100
e71857df5dPartially fixed copy-attribute, debugging.
Georges Dupéron
2017-03-14 21:34:03 +0100
5920708c47Disable contracts for performance (a bit too aggressive, need to rollback some of these)
Georges Dupéron
2017-03-14 20:30:58 +0100
c80d896fcdre-provide racket/syntax
Georges Dupéron
2017-02-10 01:02:16 +0100
7cd95285b9Tests for ≠ ids, also fixed that bug for ??
Georges Dupéron
2017-02-05 19:02:34 +0100
0f577ba470Remove display
Georges Dupéron
2017-02-05 09:07:47 +0100
83faf976f1Fixes 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ᵢ.
Georges Dupéron
2017-02-05 08:55:24 +0100
5e8a21edacA bit of cleanup.
Georges Dupéron
2017-02-04 11:04:15 +0100
f7c6d5a21aFirst half of the lifted variables fix.
Georges Dupéron
2017-02-04 09:09:29 +0100
0410d1eb07Fixed arrows in DrRacket, fixed bug with empty || identifier
Georges Dupéron
2017-02-04 07:45:01 +0100
62b5459e05Update raco doc-coverage incantation in Travis.
Georges Dupéron
2017-02-03 15:51:42 +0100
68f5d38902Documentation, changed (begin x ...) to produce a splicing list, not a list (and documented accordingly)
Georges Dupéron
2017-02-03 15:45:49 +0100
3b99a0ce02Moved files into private/ (part 2: update files)
Georges Dupéron
2017-02-03 12:46:27 +0100
6e4d3378adMoved files into private/ (part 1: rename)
Georges Dupéron
2017-02-03 12:46:18 +0100
6441a07c97Provide everything
Georges Dupéron
2017-02-03 12:39:00 +0100
4be72744a4Tests for ?operations
Georges Dupéron
2017-02-03 12:25:02 +0100
e7e60b1da9More ?operations
Georges Dupéron
2017-02-03 11:54:40 +0100
74f38a3213Support for rest arguments to functions with (f . rest), useful for (?@ . blah)
Georges Dupéron
2017-02-03 09:24:28 +0100
a0df96cb3aCloses FB case 178 Attempt to allow escaping (template …) but keep the current nesting of ellipses
Georges Dupéron
2017-02-03 08:18:21 +0100
208ad3e321Closes FB case 198 override #%top to get subtemplate-like behaviour for ddd
Georges Dupéron
2017-02-02 23:45:56 +0100
762446fa42Support for ?? and ?@
Georges Dupéron
2017-02-01 09:57:23 +0100
5580d9ee2cPropper handling of omitted elements
Georges Dupéron
2017-02-01 07:40:52 +0100
a46326c300Improved #%app support for ddd
Georges Dupéron
2017-01-31 06:08:37 +0100
a08c491baaCloses 184 body which supports ddd on define
Georges Dupéron
2017-01-31 02:32:20 +0100
406698e113Restored derived-valvar
Georges Dupéron
2017-01-29 23:48:40 +0100
5ba9ab5130.
Georges Dupéron
2017-01-29 23:46:37 +0100
eedc88f8e2Closes FB case 193
Georges Dupéron
2017-01-28 04:55:10 +0100
c887cae4feDocumentation
Georges Dupéron
2017-01-28 02:59:22 +0100
d2d7623194Closes FB issue 191 subtemplate: allow #f values for ~optional in syntax/parse
Georges Dupéron
2017-01-27 21:48:40 +0100
cf92b0fc32Closes FB case 186 Trigger error when stxparse-info is not active (use get-shadower and compare the ids)
Georges Dupéron
2017-01-26 23:25:05 +0100
e4b3235a59Various fixes. Closes FB case 189 Switch phc-graph to the packaged subtemplate.
Georges Dupéron
2017-01-26 19:26:38 +0100
29ca612421Also reprovide racket/syntax from subtemplate/override
Georges Dupéron
2017-01-26 17:36:25 +0100
7a4e03feb3Reprovide stxparse-info/parse and stxparse-info/case in subtemplate/override.
Georges Dupéron
2017-01-26 17:16:57 +0100
961d507fa9Closes FB case 188 Cleanup assumption tests in subtemplate
Georges Dupéron
2017-01-26 17:14:11 +0100
3a927549e0Skip raco cover, as it fails to run this library properly
Georges Dupéron
2017-01-26 06:32:22 +0100
d323616442README → use codecov badge and link
Georges Dupéron
2017-01-26 06:27:09 +0100
d2fa9e3370Remove test output
Georges Dupéron
2017-01-26 06:24:54 +0100
fc47228c6fLimit CPUs to avoid OOM
Georges Dupéron
2017-01-26 06:20:50 +0100
5d8afa4d05Filled in README file
Georges Dupéron
2017-01-26 06:20:14 +0100
45e6bf38bfFixed scribble file
Georges Dupéron
2017-01-26 06:17:09 +0100
54f2c88555Only build on 6.8, as we need that for stxparse-info
Georges Dupéron
2017-01-26 05:45:32 +0100
1aea43aebaCleanup; documentation
Georges Dupéron
2017-01-26 05:33:38 +0100
9e7086624eSwitched 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.
Georges Dupéron
2017-01-26 05:11:18 +0100
9881c55f7aDropped dependency on phc-graph
Georges Dupéron
2017-01-26 04:43:42 +0100
946db4f020Changed tests to use bound-identifier=?, not free-identifier=?
Georges Dupéron
2017-01-26 04:41:38 +0100
1f2a9eaebbChanged subtemplate to use current-pvars+unique
Georges Dupéron
2017-01-26 04:15:03 +0100
f1ede1dd4dAdded package files for the subtemplate package.
Georges Dupéron
2017-01-26 04:15:03 +0100
48ff8437efRenamed files
Georges Dupéron
2017-01-26 05:00:18 +0100
bcced0995dExtracted subtemplate from phc-graph
Georges Dupéron
2017-01-26 04:55:01 +0100
693ab9e84eCloses FB case 176 Fix the type of nodes for (non-)polymorphic graph types
Georges Dupéron
2017-01-20 18:28:33 +0100
7991ed7d7eAdded missing require
Georges Dupéron
2017-01-20 16:31:22 +0100
4589fdff69Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects
Georges Dupéron
2017-01-20 16:04:40 +0100
d2f93d9ae6Use master branch of phc-toolkit, phc-adt and type-expander
Georges Dupéron
2017-01-20 15:24:20 +0100
6989b4f339Closes FB case 168 Don't use /top-loc in graph-info, as the macro and its use are within the same file
Georges Dupéron
2017-01-20 15:18:32 +0100
2de609c523Closes FB case 167 Catch the errors when first calling compute-graph-info. If there are any, parameterize check-remembered-node! to not lift errors
Georges Dupéron
2017-01-20 00:28:47 +0100
411c386bb1Closes FB case #165 Use syntax? instead of identifier? in the graph-info types
Georges Dupéron
2017-01-19 14:48:49 +0100
c896df5666Closes FB case #166 Check that the contracts for graph-info are flat
Georges Dupéron
2017-01-19 14:26:20 +0100
21a98135ecCleanup
Georges Dupéron
2017-01-18 11:44:07 +0100
dc449fae4dRemove 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.
Georges Dupéron
2017-01-18 04:45:04 +0100
f615ae243bFixed storage of graph-info
Georges Dupéron
2017-01-18 04:11:41 +0100
3caeea4d9fFixed 3D syntax issues by using prefabs.
Georges Dupéron
2017-01-18 02:27:11 +0100
32ac4188a6Remove 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
Georges Dupéron
2017-01-18 00:25:06 +0100
c3bfafb927Remove output so that Travis build succeeds.
Georges Dupéron
2017-01-18 00:23:53 +0100
7a264197eaRe-enable building HEAD with Travis
Georges Dupéron
2017-01-18 00:01:26 +0100
2b74c85f83Revert "Attempt to fix build on Travis"
Georges Dupéron
2017-01-18 00:01:23 +0100
4ad59206ebAttempt to fix build on Travis
Georges Dupéron
2017-01-18 00:00:19 +0100