@@ -58,7 +58,7 @@ checkBody
5858 -> M [Annotation.Located Warning]
5959checkBody interfaces =
6060 checkExpr . Module.program
61− where
61+ where
6262 checkExpr :: Canonical.Expr -> M [Annotation.Located Warning]
6363 checkExpr (Annotation.A r e) =
6464 case e of
@@ -79,8 +79,9 @@ checkBody interfaces =
7979
8080 General.Let defs e ->
8181 concat <$> sequence [ps, rhssResults, checkExpr e]
82− where
83− ps = mapMaybeM (\(Canonical.Definition p _ _) -> checkMatch r [p]) defs
82+ where
83+ ps = mapMaybeM (\(Canonical.Definition p _ _) -> checkMatch r [p]) defs
84+
8485 rhssResults = concatMapM (\(Canonical.Definition _ e _) -> checkExpr e) defs
8586
8687 General.Case e branches ->
@@ -88,7 +89,7 @@ checkBody interfaces =
8889 result <- checkMatch r ps
8990 branchResults <- concatMapM (checkExpr . snd) branches
9091 return (eResults ++ maybeCons result branchResults)
91− where ps = map fst branches
92+ where ps = map fst branches
9293
9394 General.Data _ctor es ->
9495 concatMapM checkExpr es
@@ -115,10 +116,12 @@ checkBody interfaces =
115116 ctorToAdt :: Var.Canonical -> Maybe (Module.AdtInfo String)
116117 ctorToAdt =
117118 \(Var.Canonical {Var.home,Var.name}) -> Map.lookup name =<< Map.lookup home m
118− where
119+ where
119120 -- Maps home to ctor name to the adt to which that ctor belongs
120121 m :: Map.Map Var.Home (Map.Map String (Module.AdtInfo String))
121− m = builtins `Map.union` fromModules where
122+ m =
123+ builtins `Map.union` fromModules
124+ where
122125 -- TODO
123126 builtins = Map.empty
124127
@@ -227,7 +230,7 @@ checkBody interfaces =
227230 checkMatch :: Region.Region -> [CanonicalPattern] -> M (Maybe (Annotation.Located Warning))
228231 checkMatch region =
229232 go [Anything]
230− where
233+ where
231234 go :: [CanonicalPat] -> [CanonicalPattern] -> M (Maybe (Annotation.Located Warning))
232235 go unhandled ps =
233236 case (unhandled, ps) of