suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix non-turnstile mlish to work with define-primop and current-host-lang

Browse Source
This commit is contained in:
Stephen Chang 2016-10-31 15:48:28 -04:00
parent 39ad3e1726
commit 824803388f
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
macrotypes/examples/mlish+adhoc.rkt
View File

@ -1,7 +1,8 @@
#lang s-exp "../typecheck.rkt"
(require (only-in "../typecheck.rkt"
[define-typed-syntax def-typed-stx/no-provide]))
(require racket/fixnum racket/flonum)
(require (postfix-in - racket/fixnum)
(postfix-in - racket/flonum))
(extends
"ext-stlc.rkt"

3
macrotypes/examples/mlish.rkt
View File

@ -1,6 +1,7 @@
#lang s-exp macrotypes/typecheck
(require
racket/fixnum racket/flonum
(postfix-in - racket/fixnum)
(postfix-in - racket/flonum)
(for-syntax macrotypes/type-constraints macrotypes/variance-constraints))
(extends