git.iko.soy/elk
on master help sign in
Get rid of unused part of the type error message
856360bEvan Czaplicki
compiler/Type/State.hs+1−2
compare with master
unifiedsplit
@@ -43,6 +43,7 @@ initialState = SS {
43
43
44modifyEnv f = modify $ \state -> state { sEnv = f (sEnv state) }
44modifyEnv f = modify $ \state -> state { sEnv = f (sEnv state) }
45modifyPool f = modify $ \state -> state { sPool = f (sPool state) }
45modifyPool f = modify $ \state -> state { sPool = f (sPool state) }
46+
46addError message t1 t2 =
47addError message t1 t2 =
47 modify $ \state -> state { sErrors = err : sErrors state }
48 modify $ \state -> state { sErrors = err : sErrors state }
48 where
49 where
@@ -57,8 +58,6 @@ addError message t1 t2 =
57 , msg <> P.text "\n"
58 , msg <> P.text "\n"
58 , P.text " Expected Type:" <+> pt1
59 , P.text " Expected Type:" <+> pt1
59 , P.text " Actual Type:" <+> pt2 <> P.text "\n"
60 , P.text " Actual Type:" <+> pt2 <> P.text "\n"
60− , wordify "The error comes from:" <> P.text "\n"
61− , P.nest 3 (P.text "???")
62 ]
61 ]
63
62
64switchToPool pool = modifyPool (\_ -> pool)
63switchToPool pool = modifyPool (\_ -> pool)