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

exclude fomega3 for now

Browse Source
This commit is contained in:
Stephen Chang 2017-02-03 17:03:44 -05:00
parent eb2e012e9d
commit ae5d160c05
3 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macrotypes/info.rkt
View File

@ -9,6 +9,7 @@
(define test-omit-paths
'("examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
"examples/tests/fomega3.rkt"
"examples/tests/fomega3-tests.rkt"
"examples/tests/mlish/bg/README.md"))

1
macrotypes/typecheck.rkt
View File

@ -77,6 +77,7 @@
(path->string (path-replace-suffix (file-name-from-path f) "")))
(define-syntax-parameter stx (syntax-rules ())))
;; non-turnstile
(define-syntax (define-typed-syntax stx)
(syntax-parse stx
[(_ name:id stx-parse-clause ...+)

3
turnstile/info.rkt
View File

@ -5,8 +5,8 @@
(define compile-omit-paths
'("examples/rosette"
"examples/tests"
"examples/fomega3.rkt"
"examples/tests"
"examples/trivial.rkt")) ; needs typed racket
(define test-include-paths
@ -17,6 +17,7 @@
"examples/tests/rosette" ; needs rosette
"examples/tests/trivial-test.rkt" ; needs typed/racket
"examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
"examples/fomega3.rkt"
"examples/tests/fomega3-tests.rkt"
"examples/tests/mlish/bg/README.md"))