git.iko.soy/rowtype-yoga/purescript-native
on 28fa718 help sign in
rowtype-yoga/purescript-native/examples/passing/RuntimeScopeIssue.purs
25 lines 322 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 A Number where
12 a 0 = true
13 a n = b (n - 1)
15instance B Number where
16 b 0 = false
17 b n = a (n - 1)
19module Main where
21import RuntimeScopeIssue
23import Prelude
25main = Trace.print $ a 10