diff options
Diffstat (limited to 'testsuite/tests/rep-poly/RepPolyBinder.hs')
-rw-r--r-- | testsuite/tests/rep-poly/RepPolyBinder.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyBinder.hs b/testsuite/tests/rep-poly/RepPolyBinder.hs new file mode 100644 index 0000000000..0ddcbb5093 --- /dev/null +++ b/testsuite/tests/rep-poly/RepPolyBinder.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE ViewPatterns #-} + +module RepPolyBinder where + +import GHC.Exts + +myId :: forall rep (x :: TYPE rep). x -> x +myId = undefined + +foo :: forall rep1 (a :: TYPE rep1) rep2 (b :: TYPE rep2). a -> b -> () +foo bndr_a pat@(myId -> bndr_b) = () |