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
df63a0bf57
predefine "type" stx-category and define-primop in typecheck.rkt (and turnstile)
2016-09-24 16:43:17 -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
f545503d19
allow optionally eliding more parens
...
- single env
- \vdash rhs
2016-09-24 15:12:45 -04:00
AlexKnauth
ccdb667fac
move default-type-eval into typecheck.rkt
2016-09-17 09:15:41 -04:00
AlexKnauth
3d92dbdde3
add #lang turnstile/lang; change #lang turnstile's #%module-begin
2016-08-31 18:49:25 -04:00
Stephen Chang
ebecdb663c
allow arbitrary number of dashes in type rules
...
closes #23
2016-08-18 16:49:23 -04:00
Stephen Chang
6d99f352db
allow single env, implies empty tvctx
2016-08-18 15:17:26 -04:00
Stephen Chang
aa0136cf29
make prop tag optional, defaults to :
2016-08-18 14:52:50 -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
