purescript-0.6.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"