purescript-0.12.0: 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