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

Fix the Compiled-Non-Module-Expression type.

Browse Source 
Closes PR 12150.

original commit: b105093f61163cd1be12e27ed8e459976fcfea20
This commit is contained in:
Vincent St-Amour 2011-08-31 14:19:16 -04:00
parent 8e79c557ba
commit 92daef945a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/types/abbrev.rkt
View File

@ -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))