www

commit 0bccf822ad424231844123f716aae677768c0801
parent 50f08886d180a28b66141211e7dc1291609eb5ea
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Mon,  6 Mar 2017 13:21:49 -0500

type= handles literals

Diffstat:
M
macrotypes/typecheck.rkt
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/macrotypes/typecheck.rkt b/macrotypes/typecheck.rkt
@@ -360,6 +360,9 @@
              ;; (printf "(τ=) t2 = ~a\n" #;τ2 (stx->datum t2))
              (or (and (id? t1) (id? t2) (free-id=? t1 t2))
                  (and (stx-null? t1) (stx-null? t2))
+                 (and (not (stx-pair? t1)) (not (id? t1))
+                      (not (stx-pair? t2)) (not (id? t1)) ; datums
+                      (equal? (stx->datum t1) (stx->datum t2)))
                  (syntax-parse (list t1 t2) ; handle binding types
                    [(((~literal #%plain-lambda) (~and (_:id (... ...)) xs) . ts1)
                      ((~literal #%plain-lambda) (~and (_:id (... ...)) ys) . ts2))