purescript-0.12.0: tests/purs/failing/ExportExplicit1.purs
-- @shouldFailWith UnknownName module Main where import M1 import Effect.Console (log) testX = X -- should fail as Y constructor is not exported from M1 testY = Y main = log "Done"
-- @shouldFailWith UnknownName module Main where import M1 import Effect.Console (log) testX = X -- should fail as Y constructor is not exported from M1 testY = Y main = log "Done"