testsuite/tests/rep-poly/RepPolyRule1.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds, PolyKinds #-}

module RepPolyRule1 where

import GHC.Exts

f :: forall rep (a :: TYPE rep). a -> a
f = undefined
{-# NOINLINE f #-}

{-# RULES "f_id" forall (x :: (a :: TYPE rep)). f x = x #-}