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
cc0fe98c
Commit
cc0fe98c
authored
May 27, 2014
by
Julien Lopez
Browse files
[TESTS][LAMBDA] Fix lambda tests
parent
aac87d17
Changes
2
Expand all
Hide whitespace changes
Inline
Side-by-side
tests/lambda/src/compute.ml
View file @
cc0fe98c
...
...
@@ -127,7 +127,7 @@ and type_of_ptype =
|
TInter
(
t1
,
t2
)
->
cap
(
type_of_ptype
t1
)
(
type_of_ptype
t2
)
|
TNot
(
t
)
->
neg
(
type_of_ptype
t
)
|
TArrow
(
t1
,
t2
)
->
arrow
(
cons
(
type_of_ptype
t1
))
(
cons
(
type_of_ptype
t2
))
|
TSeq
(
t
)
->
Printf
.
eprintf
"ffffff
\n
"
;
Sequence
.
star
(
type_of_ptype
t
)
|
TSeq
(
t
)
->
Sequence
.
star
(
type_of_ptype
t
)
and
first_param
loc
iface
=
let
rec
_first_param
loc
accu
=
function
...
...
tests/lambda/src/lambdaTests.ml
View file @
cc0fe98c
This diff is collapsed.
Click to expand it.
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