Hoed-0.5.0: tests/Pure/t1.hs

{-# LANGUAGE OverloadedStrings #-}
import Debug.Hoed
import System.Process(system)
import System.Exit(exitWith)

f :: Int -> Int
f = observe "f" f'
f' x = if x > 0 then g x else 0

g :: Int -> Int
g = observe "g" g'
g' x = x `div` 2

main = do
  logO "hoed-tests-Pure-t1.graph" $ print ((f 2) + (f 0))
  i <- system "diff hoed-tests-Pure-t1.graph tests/ref/hoed-tests-Pure-t1.graph"
  exitWith i