blob: 3d9a3cd8336205a6d9868e11aa3c6df56c8a48cd (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PatternSynonyms #-}
module InlinePatSyn_InlinableBuilder where
-- Pattern with "INLINE" pragma, both builder and matcher should be inlined
pattern InlinablePattern a = [[[[a]]]]
{-# INLINABLE InlinablePattern #-}
testInBuilder x = InlinablePattern (x+1)
|
