@@ -31,9 +31,6 @@ constrain env annotatedExpr@(A.A region expression) tipe =
3131 let
3232 list t =
3333 Env.getType env "List" <| t
34−
35− (<?) =
36− CInstance region
3734 in
3835 case expression of
3936 E.Literal lit ->
@@ -68,7 +65,7 @@ constrain env annotatedExpr@(A.A region expression) tipe =
6865 name =
6966 V.toString var
7067 in
71− return (if name == E.saveEnvName then CSaveEnv else name <? tipe)
68+ return (if name == E.saveEnvName then CSaveEnv else CInstance region name tipe)
7269
7370 E.Range lowExpr highExpr ->
7471 existsNumber $ \n ->
@@ -114,7 +111,7 @@ constrain env annotatedExpr@(A.A region expression) tipe =
114111 do vars <- Monad.forM exprs $ \_ -> mkVar Nothing
115112 let pairs = zip exprs (map VarN vars)
116113 (ctipe, cs) <- Monad.foldM step (tipe, CTrue) (reverse pairs)
117− return $ ex vars (cs /\ name <? ctipe)
114+ return $ ex vars (cs /\ CInstance region name ctipe)
118115 where
119116 step (t,c) (e,x) =
120117 do c' <- constrain env e x