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

Ensure that structs don't overlap with simple values.

Browse Source 
Reported by Ray Racine.

Please merge to release.
(cherry picked from commit 4a90c6c1fe)
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-20 12:51:54 -04:00 committed by Ryan Culpepper
parent 298dd3e62c
commit 1832c2b712
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-racket/succeed/poly-struct-pred.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/racket
(struct: (X) s ([v : X]))
(: f : (All (X) (U 'foo (s X)) -> (s X)))
(define (f t)
(match t
[(s value) (s value)]
[_ (error 'fail)]))

6
collects/typed-racket/types/remove-intersect.rkt
View File

@ -66,8 +66,10 @@
[(or (list (Pair: _ _) _) [(or (list (Pair: _ _) _)
(list _ (Pair: _ _))) (list _ (Pair: _ _)))
#f] #f]
[(or (list (Value: '()) (Struct: n _ flds _ _ _ _ _)) [(or (list (Value: (? (λ (e) (or (null? e) (symbol? e) (number? e) (boolean? e) (pair? e) (keyword? e)))))
(list (Struct: n _ flds _ _ _ _ _) (Value: '()))) (Struct: n _ flds _ _ _ _ _))
(list (Struct: n _ flds _ _ _ _ _)
(Value: (? (λ (e) (or (null? e) (symbol? e) (number? e) (boolean? e) (pair? e) (keyword? e)))))))
#f] #f]
[(list (Struct: n _ flds _ _ _ _ _) [(list (Struct: n _ flds _ _ _ _ _)
(Struct: n* _ flds* _ _ _ _ _)) (=> nevermind) (Struct: n* _ flds* _ _ _ _ _)) (=> nevermind)