exterm · December 13, 2015 21:38
diff --git a/1_types.hs b/1_types.hs
 data T1 = Bernd | Uwe
 data T2 = Bernd | Flo
diff --git a/2. ghc output b/2. ghc output
 1_types.hs:2:11:
    Multiple declarations of `Bernd'
    Declared at: 1_types.hs:1:11
                 1_types.hs:2:11
diff --git a/3_types.erl b/3_types.erl
 -type t1() :: bernd | uwe
 -type t2() :: bernd | flo

 %% dialyzer accepts this without complaining and constructing contracts with these types works.
 %% bernd, uwe and flo are atoms, not constructors - but they're used for the same purpose.
	1_types.hs:2:11:
	Multiple declarations of `Bernd'
	Declared at: 1_types.hs:1:11
	1_types.hs:2:11
	-type t1() :: bernd \| uwe
	-type t2() :: bernd \| flo

	%% dialyzer accepts this without complaining and constructing contracts with these types works.
	%% bernd, uwe and flo are atoms, not constructors - but they're used for the same purpose.