summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc064.hs
blob: 18aecb091d34d70bb005fbce97da9975e34a0a18 (plain)
1
2
3
4
5
6
7
module ShouldSucceed where

data Boolean = FF | TT

idb :: Boolean -> Boolean
idb x = x