testsuite/tests/rep-poly/RepPolyBinder.hs


1
2
3
4
5
6
7
8
9
10
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) = ()