From df52749b84211c4977c9aa640c5022a0c54be195 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Tue, 5 Nov 2019 22:20:37 -0500 Subject: [PATCH] Change prop:equal+hash to use Integer --- main.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/main.rkt b/main.rkt index 054217c..57ebe9b 100644 --- a/main.rkt +++ b/main.rkt @@ -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)))))])))