summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc248.hs
blob: 1fde336bb0de3a99e7dac31a16f3b18e3fdb076f (plain)
1
2
3
4
5
6
{-# LANGUAGE ExplicitForAll #-}

module ShouldCompile where

identity :: forall a. a -> a
identity x = x