blob: ef9066d82512caec3f9052a2208450c9d474e418 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PatternSynonyms #-}
module InlinePatSyn_InlinableMatcher where
-- Pattern with "INLINE" pragma, both builder and matcher should be inlined
pattern InlinablePattern a = [[[[a]]]]
{-# INLINEABLE InlinablePattern #-}
testInMatcher (InlinablePattern x) = 1
testInMatcher _ = 2
|