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

Merge pull request #2 from samth/patch-1

Browse Source 
Fix struct property typechecking
This commit is contained in:
Georges Dupéron 2019-11-11 17:45:09 -05:00 committed by GitHub
commit 75603def15
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)))))])))