summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename/should_fail/T18740b.hs
blob: e2961093a9df0379462f2830f257fce105b1821d (plain)
1
2
3
4
5
6
{-# LANGUAGE ScopedTypeVariables #-}
module T18740b where

import Data.Proxy

f (Proxy :: Proxy a) = a