Merge remote-tracking branch 'pure11/pure11' into native
commit064e675679a8a8fda3a66bbe0dd85dfb61123855
authorAndy Arvanitis <andyarvanitis@gmail.com>
dateSun 8 May 2016, 23:10 (10 years ago)
parent3bd3b6b7f322b5
examples/passing/InferRecFunWithConstrainedArgument.purs+3−3
@@ -2,7 +2,7 @@ module Main where
22
33import Prelude
44
5−test 100.0 = 100.0
6−test n = test(1.0 + n)
5+test 100 = 100
6+test n = test(1 + n)
77
8−main = Control.Monad.Eff.Console.print $ test 0.0
8+main = Control.Monad.Eff.Console.print $ test 0