From ae5d160c05f11d13ac03b28de199389f445f0b80 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 3 Feb 2017 17:03:44 -0500 Subject: [PATCH] exclude fomega3 for now --- macrotypes/info.rkt | 1 + macrotypes/typecheck.rkt | 1 + turnstile/info.rkt | 3 ++- 3 files changed, 4 insertions(+), 1 deletion(-) diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt index f008017..4b479dd 100644 --- a/macrotypes/info.rkt +++ b/macrotypes/info.rkt @@ -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")) diff --git a/macrotypes/typecheck.rkt b/macrotypes/typecheck.rkt index 983be89..3b31555 100644 --- a/macrotypes/typecheck.rkt +++ b/macrotypes/typecheck.rkt @@ -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 ...+) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index daa8182..d82d4d4 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -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"))