From 549ada06a682a192fdbf4ca01b9d0db9601dd3db Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 6 Nov 2019 13:23:01 -0500 Subject: [PATCH] Fix struct property typechecking The documentation does not promise that these will be fixnums. This is a problem for 7.5 where struct properties are now typechecked. --- 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)))))])))