blob: e9c79c89751b5dad17cef01002ba3412471a337f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-- In case of types with nested type synonyms, all synonyms should be expanded
{-# LANGUAGE RankNTypes #-}
import Control.Monad.ST
type Foo = Int
type Bar = Bool
type MyFooST s = ST s Foo
type MyBarST s = ST s Bar
fooGen :: forall s . MyFooST s
fooGen = undefined
barGen :: forall s . MyBarST s
barGen = undefined
main = print (runST fooGen == runST barGen)
|