blob: 611ec04f03810f12d28f5d425bbb7904479c1474 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- !!! cumulative re-exportation of data constructors, pt 2.
module M where
import Mod157_D
-- Mod157_D re-exports the type T using (..). T is defined
-- in Mod157_A, but (only) two of its constructors is visible
-- in Mod157_D, one via Mod157_B, the other via Mod157_C.
a = A
b = B
-- C is out of scope.
c = C
|
