blob: 0a251bddc04bc0e8bb8126b2e0481895f482de4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
:set +c
:l T16575.hs
:all-types
-- data X = A | B
-- deriving (Show)
-- ^^^^
:type-at T16575.hs 4 15 4 19
-- wrongly outputs:
-- :: [X] -> ShowS
-- instance Eq X where
-- ^^^^
:type-at T16575.hs 6 10 6 14
-- wrongly outputs:
-- :: X -> X -> Bool
-- also note how :all-types is inconsistent with :type-at
|