M.V. Hutz
4a5c424e54
Modified benchmark_test.go to dynamically discover all .test files in the tests directory instead of using hardcoded paths. Added TestSamplesValidity integration test that validates each test file against its corresponding .expected file. Added runSampleWithOutput helper function to capture interpreter output. Added new test cases with expected outputs for validation.
53 lines
911 B
Plaintext
53 lines
911 B
Plaintext
T x y := x
|
|
F x y := y
|
|
if b t e := (b t e)
|
|
|
|
pair a b := \c.(c a b)
|
|
left p := (p T)
|
|
right p := (p F)
|
|
|
|
print n := (n 0 1 end)
|
|
|
|
fix f := (\x.(f (x x)) \x.(f (x x)))
|
|
|
|
some x := (pair T x)
|
|
none := \.F
|
|
isfull := left
|
|
unwrap := right
|
|
|
|
nil := none
|
|
push i l := (some (pair i l))
|
|
peek l := (left (unwrap l))
|
|
pop l := (right (unwrap l))
|
|
|
|
inc := (fix \self l.{
|
|
(if (isfull l)
|
|
(if (peek l)
|
|
(push F (self (pop l)))
|
|
(push T (pop l))
|
|
)
|
|
(push T nil)
|
|
)
|
|
})
|
|
|
|
print := (fix \self l.{
|
|
(if (isfull l)
|
|
((if (peek l) 1 0) (self (pop l)))
|
|
END
|
|
)
|
|
})
|
|
|
|
one := (push T nil)
|
|
double N := (push F N)
|
|
|
|
N :=
|
|
(double (double (double (double (double
|
|
(double (double (double (double (double
|
|
(double (double (double (double (double
|
|
(double (double (double (double (double
|
|
(double (double (double (double (double
|
|
(double (double (double (double (double
|
|
one))))))))))))))))))))))))))))))
|
|
|
|
(print N)
|