testsuite/runtime/eval/lazy.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

abstract lazy = {

cat Nat ;
data zero : Nat ;
     succ : Nat -> Nat ;

fun infinity : Nat ;
def infinity = succ infinity ;

fun min : Nat -> Nat -> Nat ;
def min zero     _        = zero ;
    min _        zero     = zero ;
    min (succ x) (succ y) = succ (min x y) ;

}