Searched refs:patternMatchingAllowed (Results 1 – 3 of 3) sorted by relevance
149 patternMatchingAllowed :: a -> Bool152 patternMatchingAllowed = (== PatternMatching) function155 patternMatchingAllowed = \case function157 NoEta p -> patternMatchingAllowed p195 patternMatchingAllowed = (== Inductive) function
1460 | not $ patternMatchingAllowed eta -> typeError $ SplitOnNonEtaRecord d
1971 patternMatchingAllowed = patternMatchingAllowed . theEtaEquality function