Stephen Chang
fcd9a83d9c
minor cleanup
2017-02-08 13:05:59 -05:00
Stephen Chang
d2e93bb1c9
generalize infer's ctx to use let* semantics and arbitrary sep+keys
...
- allow lone ids that default to tyvars
2017-02-07 17:18:07 -05:00
Stephen Chang
1a3f208903
all tests passing
...
- fixed current-ev problem
- forgot to update default define-typed-syntax in turnstile.rkt
with parameterize
2017-02-07 10:58:39 -05:00
Stephen Chang
eb2e012e9d
use :: key in turnstile/fomega-no-reuse; simplify turnstile/fomega
2017-02-03 16:46:41 -05:00
Stephen Chang
6e90aeaf18
move tycon #:arity kw back to non-internal; all tests passing except turnstile/fomega2-3
2017-02-02 16:26:50 -05:00
Stephen Chang
7dd0c58b96
add type-agnostic current-ev and current-check
...
- all macrotypes tests passing
- most turnstile tests passing, except fomega?
2017-02-01 19:15:39 -05:00
Stephen Chang
f825eef92f
raco setup completes
2017-01-30 15:11:57 -05:00
Stephen Chang
28fa5dd033
split def-kinded-stx from def-typed-stx; split any-type? from type?
...
- the former prevents using current-typecheck-relation at type/kind level
- the latter differentiates "well-formed" types (star)
from valid types (any kind)
- move define-*ed-syntax and *-eval into define-syntax-category
- turnstile must wrap define-stx-category to define new define-*ed-syntax
- add any-*? pred and any-* stx class in def-stx-category
- fixes #44
- fixes #45
2016-10-14 14:16:49 -04:00
Stephen Chang
98568ceb99
add define-internal-type-constructor and define-internal-binding-type
...
- add fomega-no-reuse example
2016-10-13 21:21:05 -04:00
