From 92daef945a4e85eb7790a72b58478dfbf9816da9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 31 Aug 2011 14:19:16 -0400 Subject: [PATCH] Fix the Compiled-Non-Module-Expression type. Closes PR 12150. original commit: b105093f61163cd1be12e27ed8e459976fcfea20 --- collects/typed-scheme/types/abbrev.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt index 8e107d2b..a8bccb77 100644 --- a/collects/typed-scheme/types/abbrev.rkt +++ b/collects/typed-scheme/types/abbrev.rkt @@ -164,7 +164,7 @@ (make-Base 'Compiled-Non-Module-Expression #'(and/c compiled-expression? (not/c compiled-module-expression?)) (conjoin compiled-expression? (negate compiled-module-expression?)) - #'-CompiledExpression)) + #'-Compiled-Non-Module-Expression)) (define -Compiled-Expression (*Un -Compiled-Module-Expression -Compiled-Non-Module-Expression)) (define -Prompt-Tag (make-Base 'Prompt-Tag #'continuation-prompt-tag? continuation-prompt-tag? #'-Prompt-Tag)) (define -Cont-Mark-Set (make-Base 'Continuation-Mark-Set #'continuation-mark-set? continuation-mark-set? #'-Cont-Mark-Set))