@@ -89,7 +89,7 @@ constrain env annotatedExpr@(A.A region expression) tipe =
8989 (CLet [monoscheme (Fragment.typeEnv fragment)]
9090 (Fragment.typeConstraint fragment /\ bodyCon)
9191 )
92− return $ con /\ CEqual Error.Lambda region tipe (argType ==> resType)
92+ return $ con /\ CEqual Error.Lambda region (argType ==> resType) tipe
9393
9494 E.App _ _ ->
9595 let
@@ -125,7 +125,7 @@ constrain env annotatedExpr@(A.A region expression) tipe =
125125
126126 newVars <- mapM (\_ -> mkVar Nothing) fields
127127 let newFields = Map.fromList (zip (map fst fields) (map VarN newVars))
128− let cNew = CEqual Error.Record region tipe (record newFields t)
128+ let cNew = CEqual Error.Record region (record newFields t) tipe
129129
130130 cs <- Monad.zipWithM (constrain env) (map snd fields) (map VarN newVars)
131131
@@ -140,7 +140,7 @@ constrain env annotatedExpr@(A.A region expression) tipe =
140140 (map VarN vars)
141141 let fields' = Map.fromList (zip (map fst fields) (map VarN vars))
142142 let recordType = record fields' (TermN EmptyRecord1)
143− return (ex vars (CAnd (fieldCons ++ [CEqual Error.Record region tipe recordType])))
143+ return (ex vars (CAnd (fieldCons ++ [CEqual Error.Record region recordType tipe])))
144144
145145 E.Let defs body ->
146146 do bodyCon <- constrain env body tipe
@@ -281,7 +281,7 @@ constrainBinop env region op leftExpr@(A.A leftRegion _) rightExpr@(A.A rightReg
281281 , CInstance region (V.toString op) opType
282282 , CEqual (Error.BinopLeft op leftRegion) region (VarN leftVar') (VarN leftVar)
283283 , CEqual (Error.BinopRight op rightRegion) region (VarN rightVar') (VarN rightVar)
284− , CEqual (Error.Binop op) region tipe (VarN answerVar)
284+ , CEqual (Error.Binop op) region (VarN answerVar) tipe
285285 ]
286286
287287
@@ -307,7 +307,7 @@ constrainList env region exprs tipe =
307307 return ( (var, region'), con )
308308
309309 varToCon var =
310− CEqual Error.List region tipe (Env.getType env "List" <| VarN var)
310+ CEqual Error.List region (Env.getType env "List" <| VarN var) tipe
311311
312312
313313-- CONSTRAIN IF EXPRESSIONS