shithub: MicroHs

Download patch

ref: f1cc8a5095c1b7f86ab2d155c6d08ec9f573c5fe
parent: ed3945c7e638a34c489c5cc00b6f460f4b66801c
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Wed Mar 27 14:16:10 EDT 2024

Add a forgotten case.

--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -1647,6 +1647,7 @@
 failureFree (EVar _) = True
 failureFree (ETuple ps) = all failureFree ps
 failureFree (ESign p _) = failureFree p
+failureFree (EAt _ p) = failureFree p
 failureFree _ = False
 
 eSetFields :: EField -> Expr -> Expr
--