blob: 0cf753760f00eabd6afa8be9256f2f4820e6c8cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
module T20609a where
-- Triggers the warning (definition/binding sites):
-- ------------------------------------------------
data MyRecord a = R { forall :: a }
-- Does not trigger the warning (use sites):
-- -----------------------------------------
x = forall (R { forall = () })
f (R { forall = r }) = r
|