Georges Dupéron
|
674af96a89
|
Attempt at typing hide-#%comment, it looks horrible.
|
2017-01-13 00:56:08 +01:00 |
|
Georges Dupéron
|
99c63ecd55
|
Moved typed-syntax files to tr-immutable.
|
2017-01-12 19:03:27 +01:00 |
|
Georges Dupéron
|
deca84c956
|
Finally managed to get syntax-properties-typed.rkt to typecheck, without relying on (Syntaxof Any) in the First-Comments and Comments-After types. The predicates are horrible to write, though :-(
|
2017-01-12 05:03:10 +01:00 |
|
Georges Dupéron
|
a110b20df1
|
Attempt at cross-phase structs, didn't work out well.
|
2017-01-12 02:27:00 +01:00 |
|
Georges Dupéron
|
b79ec821d4
|
Wrote wrappers for the configurable functions any->isyntax* syntax->isyntax* any->isyntax-e*
|
2017-01-11 20:39:47 +01:00 |
|
Georges Dupéron
|
503044660b
|
Made any->isyntax and similar functions configurable, to choose how non-syntax and non-sexp cases should be handled
|
2017-01-11 03:59:28 +01:00 |
|
Georges Dupéron
|
dc1561e595
|
Further work on typed syntax
|
2017-01-11 03:58:37 +01:00 |
|
Georges Dupéron
|
3b59681010
|
Provide stuff
|
2017-01-10 23:04:17 +01:00 |
|
Georges Dupéron
|
2fa55c0d3f
|
Mostly correct version of *->isyntax*
|
2017-01-10 21:17:20 +01:00 |
|
Georges Dupéron
|
10a5663ddf
|
Cleaned up hiding/restoring comments, partially typed
|
2017-01-10 15:54:34 +01:00 |
|