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
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
a788c4a7d5
macrotypes/mlish and macrotypes/mlish+adhoc tests passing
2017-01-31 14:30:46 -05:00
Stephen Chang
e9cc782aeb
STUCK: infer must know about sep
2017-01-30 10:28:22 -05:00
Stephen Chang
691ba9c51c
Turnstile forms no longer automatically provide; add type-out
...
- not auto-providing more closely adheres to idiomatic Racket
- this commit changes:
- define-typed-syntax
- removed #:export-as option
- define-base-type
- removed #:no-provide option
- define-type-constructor
- removed #:no-provide option
- type-out helps with providing defined types
- in examples, move define and define-type-alias to ext-stlc
- fix bug in reuse where renamed id not provided
2016-10-12 10:46:05 -04:00
Stephen Chang
fc5731de00
dont auto provide define-primops; add typed-out
2016-10-09 18:12:12 -04:00
Stephen Chang
d0c14c7e07
define-typed-syntax: support define-simple-macro-like single-clause syntax
2016-09-24 15:12:45 -04:00
Stephen Chang
bce55e8741
allow omitting "_ ≫" in conclusion
2016-09-24 15:12:45 -04:00
Stephen Chang
e1ea378f7d
drop more parens
2016-09-24 15:12:45 -04:00
AlexKnauth
3d92dbdde3
add #lang turnstile/lang; change #lang turnstile's #%module-begin
2016-08-31 18:49:25 -04:00
AlexKnauth
e9230e0ba3
remove square brackets around syntax-parse kws
2016-08-17 17:49:37 -04:00
AlexKnauth
2ddf45f8de
remove brackets around e ≫ e-
2016-07-26 11:44:17 -04:00
AlexKnauth
103086a62c
rename typed-lang-builder -> turnstile
2016-06-28 13:35:51 -04:00
