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