Skip to content
Snippets Groups Projects
Commit 15d05cf3 authored by sof's avatar sof
Browse files

[project @ 1997-06-05 21:03:44 by sof]

updated to reflect change in dsBinds sig
parent 9d563f79
No related merge requests found
...@@ -9,11 +9,12 @@ import DsMonad ( DsM(..) ) ...@@ -9,11 +9,12 @@ import DsMonad ( DsM(..) )
import DsBinds ( dsBinds ) import DsBinds ( dsBinds )
import DsExpr ( dsExpr ) import DsExpr ( dsExpr )
import DsUtils ( EquationInfo, MatchResult ) import DsUtils ( EquationInfo, MatchResult )
import FastString ( FastString )
import Id ( Id(..) ) import Id ( Id(..) )
import Match ( match, matchSimply ) import Match ( match, matchSimply )
import PreludeStdIO ( Maybe )
import TcHsSyn ( TypecheckedHsBinds(..), TypecheckedHsExpr(..), TypecheckedPat(..) ) import TcHsSyn ( TypecheckedHsBinds(..), TypecheckedHsExpr(..), TypecheckedPat(..) )
import Type ( Type(..) ) import Type ( Type(..) )
match :: [Id] -- Variables rep'ing the exprs we're matching with match :: [Id] -- Variables rep'ing the exprs we're matching with
-> [EquationInfo] -- Info about patterns, etc. (type synonym below) -> [EquationInfo] -- Info about patterns, etc. (type synonym below)
-> [EquationInfo] -- Potentially shadowing equations above this one -> [EquationInfo] -- Potentially shadowing equations above this one
...@@ -26,6 +27,6 @@ matchSimply :: CoreExpr -- Scrutinee ...@@ -26,6 +27,6 @@ matchSimply :: CoreExpr -- Scrutinee
-> CoreExpr -- Return this if it does -> CoreExpr -- Return this if it does
-> DsM CoreExpr -> DsM CoreExpr
dsBinds :: TypecheckedHsBinds -> DsM [CoreBinding] dsBinds :: Maybe (FastString, FastString) -> TypecheckedHsBinds -> DsM [CoreBinding]
dsExpr :: TypecheckedHsExpr -> DsM CoreExpr dsExpr :: TypecheckedHsExpr -> DsM CoreExpr
\end{code} \end{code}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment