1-- No failure here as the export `thing` only refers to Main.thing
2module Main (thing, main) where
3
4import A
5import Effect.Console (log)
6
7thing :: Int
8thing = 2
9
10main = log "Done"
11