purescript-0.6.0: examples/passing/MutRec2.purs
module Main where data A = A B data B = B A foreign import data S :: * f :: A -> S f a = case a of A b -> g b g b = case b of B a -> f a showN :: A -> S showN a = f a main = Debug.Trace.trace "Done"
module Main where data A = A B data B = B A foreign import data S :: * f :: A -> S f a = case a of A b -> g b g b = case b of B a -> f a showN :: A -> S showN a = f a main = Debug.Trace.trace "Done"