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

Fixed types for equal+hash

Browse Source
This commit is contained in:
Georges Dupéron 2016-09-12 15:50:37 +02:00
parent c5d480a125
commit 122587f6ea
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

@ -58,17 +58,17 @@
#'(→ ins ins2 (→ Any Any Boolean) Any)))
(ann hash1
#,(maybe-∀
#'(→ ins (→ Any Integer) Integer)))
#'(→ ins (→ Any Fixnum) Fixnum)))
(ann hash2
#,(maybe-∀
#'(→ ins (→ Any Integer) Integer))))]
#'(→ ins (→ Any Fixnum) Fixnum))))]
[expr:expr #'expr]))
#`((: eq+h (List #,(maybe-∀2
#'(→ ins ins2 (→ Any Any Boolean) Any))
#,(maybe-∀
#'(→ ins (→ Any Integer) Integer))
#'(→ ins (→ Any Fixnum) Fixnum))
#,(maybe-∀
#'(→ ins (→ Any Integer) Integer))))
#'(→ ins (→ Any Fixnum) Fixnum))))
(define eq+h equal+hash-ann)))
#'())