testsuite/tests/typecheck/should_compile/DfltProb1.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


module DfltProb1 where

import Control.Monad.ST
import Prelude hiding (traverse)

traverse :: a -> ST s [a]
traverse = undefined

-- WORKS with signature test :: Num a => [a]
test = runST (traverse 1)

main = print test