From 122587f6eaea04ac2ff51d9245b20b70bc1b2b14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 12 Sep 2016 15:50:37 +0200 Subject: [PATCH] Fixed types for equal+hash --- main.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/main.rkt b/main.rkt index 1ae023b..46a4d1e 100644 --- a/main.rkt +++ b/main.rkt @@ -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))) #'())