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

Declare a few more type values to avoid reconstructing.

Browse Source 
original commit: ece6e9e15e866e9d62aa45300dc8d515d8ad8088
This commit is contained in:
Sam Tobin-Hochstadt 2013-09-11 18:08:35 -04:00
parent faba3b4d8f
commit 862ceb8850
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
View File

@ -265,15 +265,15 @@
;; Paths
(define -car (make-CarPE))
(define -cdr (make-CdrPE))
(define -syntax-e (make-SyntaxPE))
(define -force (make-ForcePE))
(define/decl -car (make-CarPE))
(define/decl -cdr (make-CdrPE))
(define/decl -syntax-e (make-SyntaxPE))
(define/decl -force (make-ForcePE))
;; function type constructors
(define top-func (make-Function (list (make-top-arr))))
(define/decl top-func (make-Function (list (make-top-arr))))
(define (-struct name parent flds [proc #f] [poly #f] [pred #'dummy])