tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T12918a.stderr
1
2 T12918a.hs:8:11: error:
3     • The default type signature for fresh:
4         forall (t :: (* -> *) -> * -> *). MonadTrans t => t m Integer
5       does not match its corresponding non-default type signature
6     • When checking the class method:
7         fresh :: forall (m :: * -> *). MonadSupply m => m Integer
8       In the class declaration for ‘MonadSupply’