summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13292.hs
blob: c727812a2cefa0dacbf09fede84d30d7d6388464 (plain)
1
2
3
4
5
6
7
8
9
10
11
module Main where

import T13292a

-- main :: IO ()
main = someFunc

-- This one is compiled with -fdefer-type-errors, and
-- annoyingly reports the ill-typed twice. It is awkward
-- to prevent this, and it's very much a corner case,
-- so I'm accepting it. See Note [Dealing with main]