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
ecbe5ddb
Commit
ecbe5ddb
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-01-15 06:38:45 by afrisch] Empty log message
Original author: afrisch Date: 2005-01-15 06:38:45+00:00
parent
e6cf8ae1
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/patterns.ml
View file @
ecbe5ddb
...
...
@@ -1025,8 +1025,8 @@ struct
|
Recompose
(
x1
,
x2
)
,
Recompose
(
y1
,
y2
)
->
(
x1
==
y1
)
&&
(
x2
==
y2
)
|
_
->
false
let
equal_result
(
r1
,
s1
,
_
)
(
r2
,
s2
,
_
)
=
(
r1
==
r2
)
&&
(
equal_array
equal_source
s1
s2
)
let
equal_result
(
r1
,
s1
,
l1
)
(
r2
,
s2
,
l2
)
=
(
r1
==
r2
)
&&
(
equal_array
equal_source
s1
s2
)
&&
(
l1
==
l2
)
let
equal_result_dispatch
d1
d2
=
(
d1
==
d2
)
||
match
(
d1
,
d2
)
with
|
Dispatch
(
d1
,
a1
)
,
Dispatch
(
d2
,
a2
)
->
...
...
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