git.iko.soy/rowtype-yoga/purescript-native
on efa60ca help sign in
rowtype-yoga/purescript-native/examples/passing/MutRec2.purs
17 lines 207 B history raw
1module Main where
3data A = A B
4
5data B = B A
7foreign import data S :: *
9f :: A -> S
10f a = case a of A b -> g b
12g b = case b of B a -> f a
14showN :: A -> S
15showN a = f a
17main = Debug.Trace.trace "Done"