git.iko.soy/rowtype-yoga/purescript-native
on e82e607 help sign in
rowtype-yoga/purescript-native/examples/passing/CheckSynonymBug.purs
14 lines 242 B history raw
1module Main where
3 import Prelude
5 type Foo a = [a]
7 foreign import length
8 "function length(a) {\
9 \ return a.length;\
10 \}" :: forall a. [a] -> Number
12 foo _ = length ([] :: Foo Number)
14 main = Debug.Trace.trace "Done"