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

Fix struct property typechecking #2

Merged
samth merged 1 commits from patch-1 into master 2019-11-11 22:45:09 +00:00
Conversation 2 Commits 1 Files Changed 1 +4 -4
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)))))])))