purescript-0.9.1: examples/failing/ExportExplicit2.purs
-- @shouldFailWith UnknownExportDataConstructor -- should fail as Y is not a data constructor for X module M1 (X(Y)) where import Prelude data X = X data Y = Y
-- @shouldFailWith UnknownExportDataConstructor -- should fail as Y is not a data constructor for X module M1 (X(Y)) where import Prelude data X = X data Y = Y