List the unsatisfied dependencies in CanvasContext

[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / RecursiveValues3.scl

data Nat = O | S Nat\r
\r
// It is important for this test that even and or are not annotated\r
even O = True\r
even (S x) = odd x\r
\r
odd O = False\r
odd (S x) = even x\r
\r
main = even (S (S (S (S (S O)))))\r
--\r
false