-hasViewPat :: Pat id -> Bool
-hasViewPat p = hasViewPat' (L undefined p)
-
-hasViewPat' :: LPat id -> Bool
-hasViewPat' (L _ p) = go p where
- go (WildPat _) = False
- go (VarPat _) = False
- go (VarPatOut _ _) = False
- go (LazyPat p) = hasViewPat' p
- go (AsPat _ p) = hasViewPat' p
- go (ParPat p) = hasViewPat' p
- go (BangPat p) = hasViewPat' p
- go (ListPat p _) = any hasViewPat' p
- go (TuplePat p _ _) = any hasViewPat' p
- go (PArrPat p _) = any hasViewPat' p
- go (ConPatIn _ p) = go' p
+hasViewPat :: LPat id -> Bool
+hasViewPat (L _ p) = go p where
+ go (WildPat _) = False
+ go (VarPat _) = False
+ go (VarPatOut _ _) = False
+ go (LazyPat p) = hasViewPat p
+ go (AsPat _ p) = hasViewPat p
+ go (ParPat p) = hasViewPat p
+ go (BangPat p) = hasViewPat p
+ go (ListPat p _) = any hasViewPat p
+ go (TuplePat p _ _) = any hasViewPat p
+ go (PArrPat p _) = any hasViewPat p
+ go (ConPatIn _ p) = go' p