Add tests
commitdb7e0fed0cf820a77a05fceaac688edea3d3106c
authorGary Burgess <gary.burgess@gmail.com>
dateSun 3 Aug 2014, 14:35 (12 years ago)
parent09271cd
examples/passing/HoistError.pursnew file+17
@@ -0,0 +1,17 @@
1+module Main where
2+
3+import Control.Monad.Eff
4+import Debug.Trace
5+
6+foreign import f
7+ "function f(x) {\
8+ \ return function () {\
9+ \ if (x !== 0) throw new Error('x is not 0');\
10+ \ }\
11+ \}" :: forall e. Number -> Eff e Number
12+
13+main = do
14+ let x = 0
15+ f x
16+ let x = 1 + 1
17+ trace "Done"
examples/passing/ShadowedTCO.pursnew file+16
@@ -0,0 +1,16 @@
1+module Main where
2+
3+runNat f = f 0 (\n -> n + 1)
4+
5+zero z _ = z
6+
7+succ f zero succ = succ (f zero succ)
8+
9+add f g zero succ = g (f zero succ) succ
10+
11+one = succ zero
12+two = succ one
13+four = add two two
14+fourNumber = runNat four
15+
16+main = Debug.Trace.trace $ show fourNumber