blob: 601c65d0e84cfaa835fadf72a80569c0f05fd406 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnboxedTuples, MagicHash #-}
module RepPolyUnboxedPatterns where
import GHC.Exts
foo :: forall rep1 (a :: TYPE rep1) rep2 (b :: TYPE rep2). (# a, b #) -> ()
foo (# bndr_a, bndr_b #) = ()
bar :: forall rep1 (a :: TYPE rep1) rep2 (b :: TYPE rep2). (# a | b #) -> ()
bar (# bndr_a | #) = ()
bar (# | bndr_b #) = ()
|
