@@ -203,6 +203,7 @@ isExhaustiveGuard (Left gs) = not . null $ filter (\(g, _) -> isOtherwise g) gs
203 isOtherwise :: Expr -> Bool
203 isOtherwise :: Expr -> Bool
204 isOtherwise (TypedValue _ (BooleanLiteral True) _) = True
204 isOtherwise (TypedValue _ (BooleanLiteral True) _) = True
205 isOtherwise (TypedValue _ (Var (Qualified (Just (ModuleName [ProperName "Prelude"])) (Ident "otherwise"))) _) = True
205 isOtherwise (TypedValue _ (Var (Qualified (Just (ModuleName [ProperName "Prelude"])) (Ident "otherwise"))) _) = True
206+ isOtherwise (TypedValue _ (Var (Qualified (Just (ModuleName [ProperName "Data", ProperName "Boolean"])) (Ident "otherwise"))) _) = True
206 isOtherwise _ = False
207 isOtherwise _ = False
207isExhaustiveGuard (Right _) = True
208isExhaustiveGuard (Right _) = True