purescript-0.15.15: tests/purs/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