Hoed-0.2.1: examples/Ho.hs

import Debug.Hoed

app :: Observable a => (a->a) -> a -> a
app = observe "app" (\g y -> {-# SCC "app" #-} g y)


f :: Observable a => a -> a
f = observe "f" (\x -> {-# SCC "app" #-} x)

k :: Int
k = 3

main = runO $ print (app f k)