diff options
Diffstat (limited to 'stlc-ref.rkt')
| -rw-r--r-- | stlc-ref.rkt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stlc-ref.rkt b/stlc-ref.rkt index 6194728..73365f2 100644 --- a/stlc-ref.rkt +++ b/stlc-ref.rkt @@ -54,7 +54,7 @@ [(`(set ,e1 ,e2) 'Unit) (match (infer- e1 Γ) [`(Ref ,t) (check- e2 t Γ)] - [t (err (format "attempting to update non-reference ~a: ~a" e1 t))])] + [t #f])] [(`(λ ,x (: ,t) ,e) `(→ ,t1 ,t2)) (and (equal? t t1) (check- e t2 (dict-set Γ x t1)))] @@ -62,9 +62,9 @@ (match (infer- e1 Γ) [`(→ ,t1 ,t2) (and (equal? t2 t) (equal? t1 (infer- e2 Γ)))] - [t (err (format "expected → type on application body, got ~a" t))])] + [t #f])] - [(e t) (err (format "checking an unknown expression ~a with type ~a" e t))])) + [(e t) #f])) ;; (infer Expr Table[Sym, Type]): Type (define (infer expr [Γ #hash()]) |