Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
a08b6a2d
Commit
a08b6a2d
authored
Apr 11, 2014
by
Julien Lopez
Browse files
[TESTS][LAMBDA] Add two tests
parent
09152eed
Changes
1
Hide whitespace changes
Inline
Side-by-side
tests/lambda/src/main.ml
View file @
a08b6a2d
...
...
@@ -51,6 +51,13 @@ let tests = "CDuce runtime tests" >:::
match x,y : ((Int*Int)*(Int*Int)) with
| (a : Int,_ : Int),(b : Int,_ : Int) -> a,b)
.(5, 3)).(1, 4)"
);
assert_equal
~
msg
:
"Test CDuce.runtime.misc.applier failed"
~
printer
:
(
fun
x
->
x
)
"Abstraction((Int, Int -> Int -> Int))"
(
run_test
"fun applier x : Int f : (Int->Int) : Int -> f.x"
);
assert_equal
~
msg
:
"Test CDuce.runtime.misc.applier_applied failed"
~
printer
:
(
fun
x
->
x
)
"2"
(
run_test
"((fun applier x : Int f : (Int->Int) : Int ->
f.x).2).(fun g x : Int : Int -> x)"
);
);
"match"
>::
(
fun
test_ctxt
->
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment