From e2b1eaa06b2c2dcc93d19bb809decedef4cc8979 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Thu, 15 Oct 2015 14:00:42 -0400 Subject: [PATCH] =?UTF-8?q?bugfix=20in=20stlc+sub:=20subs=20assumed=20leng?= =?UTF-8?q?th=3D=3F?= --- tapl/stlc+sub.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tapl/stlc+sub.rkt b/tapl/stlc+sub.rkt index 68b32b3..754e94f 100644 --- a/tapl/stlc+sub.rkt +++ b/tapl/stlc+sub.rkt @@ -41,7 +41,9 @@ (Top? τ2))) (define current-sub? (make-parameter sub?)) (current-typecheck-relation sub?) - (define (subs? τs1 τs2) (stx-andmap (current-sub?) τs1 τs2)) + (define (subs? τs1 τs2) + (and (stx-length=? τs1 τs2) + (stx-andmap (current-sub?) τs1 τs2))) (define-syntax (define-sub-relation stx) (syntax-parse stx #:datum-literals (<: =>)