@@ -21,7 +21,7 @@ import qualified Type.Constrain.Effects as Effects
21import qualified Type.Constrain.Literal as Literal
21import qualified Type.Constrain.Literal as Literal
22import qualified Type.Constrain.Pattern as Pattern
22import qualified Type.Constrain.Pattern as Pattern
23import qualified Type.Environment as Env
23import qualified Type.Environment as Env
24−import Type.Type hiding (Descriptor(..))
24+import Type.Type as Type hiding (Descriptor(..))
@@ -331,7 +331,7 @@ constrainIf env region branches finally tipe =
331 constrainCondition condition@(A.A condRegion _) =
331 constrainCondition condition@(A.A condRegion _) =
332 do condVar <- mkFlexVar
332 do condVar <- mkFlexVar
333 condCon <- constrain env condition (VarN condVar)
333 condCon <- constrain env condition (VarN condVar)
334− let boolCon = CEqual Error.IfCondition condRegion (VarN condVar) bool
334+ let boolCon = CEqual Error.IfCondition condRegion (VarN condVar) Type.bool
335 return (condVar, CAnd [ condCon, boolCon ])
335 return (condVar, CAnd [ condCon, boolCon ])
337 constrainBranch expr@(A.A branchRegion _) =
337 constrainBranch expr@(A.A branchRegion _) =