blob: 87e20ff07c9f7be26b7cd1eacb6ec85199db15ef (
plain)
1
2
3
4
5
6
7
8
9
10
|
module T12035 where
import T12035a
type T = Bool
y = f True
-- This should error that 'type T = Int' doesn't match 'data T',
-- NOT that f expects argument of type T but got Bool.
--
-- NB: This test will start passing if we allow abstract data
-- types to be implemented using type synonyms.
|