git.iko.soy/rowtype-yoga/purescript-native
on 73dd351 help sign in
rowtype-yoga/purescript-native/examples/passing/RuntimeScopeIssue.purs
25 lines 350 B history raw
1module RuntimeScopeIssue where
3import Prelude
5class A a where
6 a :: a -> Boolean
8class B a where
9 b :: a -> Boolean
11instance aNumber :: A Number where
12 a 0 = true
13 a n = b (n - 1)
15instance bNumber :: B Number where
16 b 0 = false
17 b n = a (n - 1)
19module Main where
21import RuntimeScopeIssue
23import Prelude
25main = Debug.Trace.print $ a 10