blob: 39b265e937e3b472427a6e7bc3bde4cf3513f30a (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PatternSynonyms #-}
module InlinePatSyn_NoInlineBuilder where
-- Pattern with "NOINLINE" pragma, neither builder nor matcher should be inlined
pattern NonInlinablePattern a = Left a
{-# NOINLINE NonInlinablePattern #-}
testNonBuilder x = NonInlinablePattern (x+1)
|