Commit 0c88fe00 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Error message wibble

parent eb57096f
...@@ -42,12 +42,9 @@ import TysWiredIn ( stringTy, boolTy, parrTyCon, listTyCon, mkListTy, mkPArrTy ) ...@@ -42,12 +42,9 @@ import TysWiredIn ( stringTy, boolTy, parrTyCon, listTyCon, mkListTy, mkPArrTy )
import PrelNames ( bindMName, returnMName, mfixName, thenMName, failMName ) import PrelNames ( bindMName, returnMName, mfixName, thenMName, failMName )
import Id ( idType, mkLocalId ) import Id ( idType, mkLocalId )
import TyCon ( TyCon ) import TyCon ( TyCon )
import Util ( isSingleton )
import Outputable import Outputable
import SrcLoc ( Located(..), getLoc ) import SrcLoc ( Located(..), getLoc )
import ErrUtils ( Message ) import ErrUtils ( Message )
import List ( nub )
\end{code} \end{code}
%************************************************************************ %************************************************************************
...@@ -115,7 +112,7 @@ tcMatchLambda match res_ty ...@@ -115,7 +112,7 @@ tcMatchLambda match res_ty
doc = sep [ ptext SLIT("The lambda expression") doc = sep [ ptext SLIT("The lambda expression")
<+> quotes (pprSetDepth 1 $ pprMatches LambdaExpr match), <+> quotes (pprSetDepth 1 $ pprMatches LambdaExpr match),
-- The pprSetDepth makes the abstraction print briefly -- The pprSetDepth makes the abstraction print briefly
ptext SLIT("has") <+> speakNOf n_pats (ptext SLIT("arguments"))] ptext SLIT("has") <+> speakNOf n_pats (ptext SLIT("argument"))]
match_ctxt = MC { mc_what = LambdaExpr, match_ctxt = MC { mc_what = LambdaExpr,
mc_body = tcPolyExpr } mc_body = tcPolyExpr }
\end{code} \end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment