@@ -21,7 +21,7 @@ import qualified Type.Constrain.Effects as Effects
2121import qualified Type.Constrain.Literal as Literal
2222import qualified Type.Constrain.Pattern as Pattern
2323import qualified Type.Environment as Env
24−import Type.Type hiding (Descriptor(..))
24+import Type.Type as Type hiding (Descriptor(..))
2525
2626
2727
@@ -331,7 +331,7 @@ constrainIf env region branches finally tipe =
331331 constrainCondition condition@(A.A condRegion _) =
332332 do condVar <- mkFlexVar
333333 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
335335 return (condVar, CAnd [ condCon, boolCon ])
336336
337337 constrainBranch expr@(A.A branchRegion _) =