@@ -46,7 +46,7 @@ module'
4646 -> R.Result Warning.Warning Error.Error Module.Canonical
4747module' canonicalImports interfaces modul =
4848 let
49− (Module.Valid docs exports imports decls effects) =
49+ (Module.Valid docs exports imports decls _) = -- TODO do something with `effects`
5050 Module.info modul
5151
5252 importDict =
@@ -389,9 +389,11 @@ expression env (A.A region validExpr) =
389389 <*> go rightExpr
390390
391391 Lambda arg body ->
392− let env' = Env.addPattern arg env
392+ let
393+ env' =
394+ Env.addPattern arg env
393395 in
394− Lambda <$> pattern env' arg <*> expression env' body
396+ Lambda <$> pattern env' arg <*> expression env' body
395397
396398 App func arg ->
397399 App <$> go func <*> go arg
@@ -408,13 +410,13 @@ expression env (A.A region validExpr) =
408410 Let <$> T.traverse rename' defs <*> expression env' body
409411 where
410412 env' =
411− foldr Env.addPattern env $ map (\(Valid.Definition p _ _) -> p) defs
413+ foldr Env.addPattern env $ map (\(Valid.Definition p _ _) -> p) defs
412414
413415 rename' (Valid.Definition p body mtipe) =
414− Canonical.Definition Canonical.dummyFacts
415− <$> pattern env' p
416− <*> expression env' body
417− <*> T.traverse (regionType env') mtipe
416+ Canonical.Definition Canonical.dummyFacts
417+ <$> pattern env' p
418+ <*> expression env' body
419+ <*> T.traverse (regionType env') mtipe
418420
419421 Var (Var.Raw x) ->
420422 Var <$> Canonicalize.variable region env x
@@ -429,8 +431,9 @@ expression env (A.A region validExpr) =
429431 Case <$> go expr <*> T.traverse branch cases
430432 where
431433 branch (ptrn, brnch) =
432− (,) <$> pattern env ptrn
433− <*> expression (Env.addPattern ptrn env) brnch
434+ (,)
435+ <$> pattern env ptrn
436+ <*> expression (Env.addPattern ptrn env) brnch
434437
435438 GLShader uid src tipe ->
436439 Result.ok (GLShader uid src tipe)