@@ -43,6 +43,7 @@ initialState = SS {
4343
4444modifyEnv f = modify $ \state -> state { sEnv = f (sEnv state) }
4545modifyPool f = modify $ \state -> state { sPool = f (sPool state) }
46+
4647addError message t1 t2 =
4748 modify $ \state -> state { sErrors = err : sErrors state }
4849 where
@@ -57,8 +58,6 @@ addError message t1 t2 =
5758 , msg <> P.text "\n"
5859 , P.text " Expected Type:" <+> pt1
5960 , P.text " Actual Type:" <+> pt2 <> P.text "\n"
60− , wordify "The error comes from:" <> P.text "\n"
61− , P.nest 3 (P.text "???")
6261 ]
6362
6463switchToPool pool = modifyPool (\_ -> pool)