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

Fix struct property typechecking

Browse Source 
The documentation does not promise that these will be fixnums.

This is a problem for 7.5 where struct properties are now typechecked.
This commit is contained in:
Sam Tobin-Hochstadt 2019-11-06 13:23:01 -05:00 committed by GitHub
parent 416c1123a7
commit 549ada06a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
main.rkt
View File

@ -55,9 +55,9 @@
(define/with-syntax ComparerType-Equal
(maybe-∀2 #'(→ ins ins2 (→ Any Any Boolean) Any)))
(define/with-syntax ComparerType-Hash1
(maybe-∀ #'(→ ins (→ Any Fixnum) Fixnum)))
(maybe-∀ #'(→ ins (→ Any Integer) Integer)))
(define/with-syntax ComparerType-Hash2
(maybe-∀ #'(→ ins (→ Any Fixnum) Fixnum)))
(maybe-∀ #'(→ ins (→ Any Integer) Integer)))
(define/with-syntax ComparerType
#'(List ComparerType-Equal
ComparerType-Hash1
@ -102,10 +102,10 @@
#'(→ ins ins2 (→ Any Any Boolean) Any)))
(ann hash1
#,(maybe-∀
#'(→ ins (→ Any Fixnum) Fixnum)))
#'(→ ins (→ Any Integer) Integer)))
(ann hash2
#,(maybe-∀
#'(→ ins (→ Any Fixnum) Fixnum))))]
#'(→ ins (→ Any Integer) Integer))))]
[expr:expr #'expr]))
#`(define eq+h-implementation (λ () equal+hash-ann)))))])))