purescript-0.15.15: tests/purs/passing/CheckSynonymBug.purs
module Main where import Prelude import Effect.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 Effect.Console (log) length :: forall a. Array a -> Int length _ = 0 type Foo a = Array a foo _ = length ([] :: Foo Number) main = log "Done"