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

Don't use raw union constructor.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-12 11:52:43 -04:00
parent 5a8fac0bdf
commit e81cdba69f
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/typed-scheme/types/convenience.rkt
View File

@ -43,16 +43,15 @@
[_ (exit t)])))) [_ (exit t)]))))
;; DO NOT USE if t contains #f
(define (-opt t) (Un (-val #f) t)) (define (-opt t) (Un (-val #f) t))
(define In-Syntax (define In-Syntax
(-mu e (-mu e
(*Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number (Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number
(make-Vector (-Syntax e)) (make-Vector (-Syntax e))
(make-Box (-Syntax e)) (make-Box (-Syntax e))
(-lst (-Syntax e)) (-lst (-Syntax e))
(-pair (-Syntax e) (-Syntax e))))) (-pair (-Syntax e) (-Syntax e)))))
(define Any-Syntax (-Syntax In-Syntax)) (define Any-Syntax (-Syntax In-Syntax))