blob: b2e215a8eb9dad7a21eb47261120bc45c697937e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
i -src testsuite/runtime/eval/Test.gf
pt -compute <\x -> x 1 : (Int->Int)->Int>
pt -compute <? : Int -> Int> 1
pt -compute <\x -> x 1 : (Int->Int)->Int> ?
pt -compute f 1 2
pt -compute <\x -> x : Nat -> Nat>
pt -compute <? : String>
pt -compute f
pt -compute <\x -> x 2 : (Int->Int)->Int> (f 1)
pt -compute g 1
pt -compute g 0
pt -compute <\x -> g x : Int -> Int>
pt -compute g ?
pt -compute <\x -> x 5 : (Int->Int)->Int> (g2 1)
pt -compute <\x -> x 3 : (Int->Int)->Int> (\x -> x)
pt -compute g0
pt -compute <\x -> x 32 : (Int -> Int -> Int) -> Int -> Int> <\x -> f x : Int -> Int -> Int>
pt -compute g0 23
pt -compute const 3.14 "pi"
pt -compute dec (succ (succ zero))
pt -compute dec (succ ?)
pt -compute dec (succ zeroF)
pt -compute dec (succF zeroF)
pt -compute dec zeroF
pt -compute <\x -> dec x : Nat -> Nat>
pt -compute dec ?
pt -compute <\f -> f 0 : (Int -> Int) -> Int> (g3 ?)
pt -compute g (g2 ? 0)
pt -compute plus (succ zero) (succ zero)
pt -compute dec2 0 (succ zero)
pt -compute dec2 0 err
pt -compute plus err (succ zero)
pt -compute <\x -> dec (dec x) : Nat -> Nat>
|
