Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

fix missing select

  • Loading branch information...
commit 29400462985edd44610aac6a5ecc3cf6eb8b7bfb 1 parent c96439c
@samth authored
Showing with 2 additions and 1 deletion.
  1. +2 −1  constraints.rkt
View
3  constraints.rkt
@@ -83,7 +83,7 @@
[(where α (fresh-α))
---
- (typ/e Γ x α ((:= α (Γ x))))]
+ (typ/e Γ x α ((:= α (select Γ x))))]
[(typ/e Γ e σ (C ...))
(where α (fresh-α))
@@ -99,6 +99,7 @@
(judgment-holds (typ/e () (+ 3 4) σ_1 Cs_1) (σ_1 Cs_1))
+(judgment-holds (typ/e () (dot z w) σ_1 Cs_1) (σ_1 Cs_1))
(judgment-holds (typ/e () (+ y (dot z w)) σ_1 Cs_1) (σ_1 Cs_1))
Please sign in to comment.
Something went wrong with that request. Please try again.