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

Change prop:equal+hash to use Integer

Browse Source
This commit is contained in:
AlexKnauth 2019-11-05 22:20:37 -05:00
parent 416c1123a7
commit df52749b84
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)))))])))