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
3f57ab01
Commit
3f57ab01
authored
Apr 17, 2014
by
Julien Lopez
Browse files
[TESTS][LAMBDA][MINOR] Fix mistake in compute
parent
573433e9
Changes
1
Hide whitespace changes
Inline
Side-by-side
tests/lambda/src/compute.ml
View file @
3f57ab01
...
...
@@ -194,7 +194,6 @@ and parse_match_value env l list p toptype = match p with
let
d1
=
any
,
list
,
Patterns
.
Capture
(
lsize
,
mname
)
in
let
t2
=
type_of_ptype
mtype
in
let
d2
=
t2
,
[]
,
Patterns
.
Constr
(
t2
)
in
Printf
.
eprintf
"mtype:%s, toptype:%s
\n
"
string
t2
,
Patterns
.
Cap
(
d1
,
d2
)
,
list
,
l
,
Types
.
subtype
t2
(
type_of_ptype
toptype
)
|
MInt
(
_
,
i
)
->
let
t
=
constant
(
Integer
(
big_int_of_int
i
))
in
...
...
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