git.iko.soy/rowtype-yoga/purescript-native
on ebbc4e4 help sign in
rowtype-yoga/purescript-native/examples/passing/CheckSynonymBug.purs
12 lines 185 B history raw
1module Main where
3import Prelude
5length :: forall a. Array a -> Int
6length _ = 0
8type Foo a = Array a
10foo _ = length ([] :: Foo Number)
12main = Control.Monad.Eff.Console.log "Done"