fix filterTCStack

swarm-game · Jun 19, 2024 · 6cab7ec · 6cab7ec
1 parent e763af8
commit 6cab7ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/swarm-lang/Swarm/Language/Pretty.hs b/src/swarm-lang/Swarm/Language/Pretty.hs
@@ -416,7 +416,7 @@ prettyTypeErr code (CTE l tcStack te) =
 filterTCStack :: TCStack -> TCStack
 filterTCStack tcStack = case tcStack of
   [] -> []
-  t@(LocatedTCFrame _ (TCDef _)) : _ -> [t]
+  t@(LocatedTCFrame _ (TCLet _)) : _ -> [t]
   t@(LocatedTCFrame _ TCBindR) : xs -> t : filterTCStack xs
   t@(LocatedTCFrame _ TCBindL) : xs -> t : filterTCStack xs