purescript-0.7.2.0: examples/passing/CheckSynonymBug.purs
module Main where import Prelude length :: forall a. Array a -> Int length _ = 0 type Foo a = Array a foo _ = length ([] :: Foo Number) main = Control.Monad.Eff.Console.log "Done"
module Main where import Prelude length :: forall a. Array a -> Int length _ = 0 type Foo a = Array a foo _ = length ([] :: Foo Number) main = Control.Monad.Eff.Console.log "Done"