purescript-0.6.4.1: examples/passing/BindersInFunctions.purs
module Main where
import Prelude
tail = \(_:xs) -> xs
foreign import error
"""
function error(msg) {
throw msg;
}
""" :: forall a. String -> a
main =
let ts = tail [1, 2, 3] in
if ts == [2, 3]
then Debug.Trace.trace "Done"
else error "Incorrect result from 'tails'."