summaryrefslogtreecommitdiff
path: root/examples/passing/Let2.purs
blob: e4ef0596c139af9175321e1890c35c62a5df643f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module Main where

test = 
  let f :: Number -> Boolean
      f 0 = false
      f n = g (n - 1)

      g :: Number -> Boolean
      g 0 = true
      g n = f (n - 1)

      x = f 1
  in not x

main = Debug.Trace.print test