From 0191461137f235309175115cf42263f5b4f561fc Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Thu, 15 Apr 2021 10:54:10 -0400 Subject: [PATCH] allow importing structs with unknown super-type --- racket/typed/core-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt index 1403e76..f9f8937 100644 --- a/racket/typed/core-types.rkt +++ b/racket/typed/core-types.rkt @@ -749,7 +749,7 @@ (match-define (list desc cons pred accs/rev muts sup) (extract-struct-info info)) (when (false? (last accs/rev)) (raise-syntax-error #f "number of slots must be exact" #'#,stx #'ucons)) - (unless (equal? #t sup) + (unless (boolean? sup) (raise-syntax-error #f "structs with super-type not supported" #'#,stx #'ucons)) (define accs (cleanup-accs #'ucons accs/rev)) (define arity (length accs/rev))