suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

list -> cons typo

Browse Source
This commit is contained in:
Andrew Kent 2017-07-15 14:01:57 +01:00 committed by GitHub
parent 6369753c28
commit 3a7c0b5123
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/typecheck/tc-subst.rkt
View File

@ -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))))