purescript-0.5.4.1: examples/passing/CheckSynonymBug.purs

module Main where

  import Prelude

  type Foo a = [a]  

  foreign import length
    "function length(a) {\
    \  return a.length;\
    \}" :: forall a. [a] -> Number

  foo _ = length ([] :: Foo Number)

  main = Debug.Trace.trace "Done"