git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/failing/ArrayType.purs
14 lines 196 B history raw
1-- @shouldFailWith TypesDoNotUnify
3module Main where
5import Prelude
6import Control.Monad.Eff.Console
8bar :: Number -> Number -> Number
9bar n m = n + m
11foo = x `bar` y
12 where
13 x = 1
14 y = []