import {-# SOURCE #-} Match ( matchSinglePat )
import HsSyn
+import MkCore
import CoreSyn
import Var
import Type
import DsMonad
import DsUtils
-import PrelInfo
import TysWiredIn
import PrelNames
import Name
import SrcLoc
-
+import Outputable
\end{code}
@dsGuarded@ is used for both @case@ expressions and pattern bindings.
dsGuarded grhss rhs_ty = do
match_result <- dsGRHSs PatBindRhs [] grhss rhs_ty
- error_expr <- mkErrorAppDs nON_EXHAUSTIVE_GUARDS_ERROR_ID rhs_ty ""
+ error_expr <- mkErrorAppDs nON_EXHAUSTIVE_GUARDS_ERROR_ID rhs_ty empty
extractMatchResult match_result error_expr
\end{code}