From 3a7c0b5123499df412e25dc6d0e32e1345b56037 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Sat, 15 Jul 2017 14:01:57 +0100 Subject: [PATCH] list -> cons typo --- typed-racket-lib/typed-racket/typecheck/tc-subst.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt b/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt index 693a9d16..673c9ed6 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt @@ -74,7 +74,7 @@ [(Intersection: ts raw-prop) (-refine (make-Intersection (map subst ts)) (subst/lvl raw-prop (add1 lvl)))] - [(Path: flds (cons (== lvl) (app lookup (list o _)))) + [(Path: flds (cons (== lvl) (app lookup (cons o _)))) (make-Path (map subst flds) o)] ;; restrict with the type for results and props [(TypeProp: (Path: flds (cons (== lvl) (app lookup (? pair? entry))))