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
80c1008a
Commit
80c1008a
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-12-26 20:34:47 by afrisch] Empty log message
Original author: afrisch Date: 2004-12-26 20:34:47+00:00
parent
817b6664
Changes
1
Hide whitespace changes
Inline
Side-by-side
runtime/run_dispatch.ml
View file @
80c1008a
...
...
@@ -211,9 +211,9 @@ and run_disp_record other v fields = function
let
rec
aux
other
=
function
|
(
l1
,_
)
::
rem
when
l1
<
l
->
aux
true
rem
|
(
l1
,
vl
)
::
rem
when
l1
==
l
->
run_disp_record1
other
vl
rem
d
run_disp_record1
v
other
vl
rem
d
|
rem
->
run_disp_record1
other
Absent
rem
d
run_disp_record1
v
other
Absent
rem
d
in
aux
other
fields
|
Some
(
RecNolabel
(
some
,
none
))
->
...
...
@@ -223,28 +223,28 @@ and run_disp_record other v fields = function
|
Some
r
->
make_result_basic
v
r
|
None
->
assert
false
and
run_disp_record1
other
v1
rem
=
function
and
run_disp_record1
v
other
v1
rem
=
function
|
Impossible
->
assert
false
|
TailCall
d1
->
run_dispatcher
d1
v1
|
Ignore
d2
->
run_disp_record2
other
v1
!
cursor
rem
d2
|
Ignore
d2
->
run_disp_record2
v
other
v1
!
cursor
rem
d2
|
Dispatch
(
d1
,
b1
)
->
let
r1
=
!
cursor
in
let
code1
=
run_dispatcher
d1
v1
in
run_disp_record2
other
v1
r1
rem
b1
.
(
code1
)
run_disp_record2
v
other
v1
r1
rem
b1
.
(
code1
)
and
run_disp_record2
other
v1
r1
rem
=
function
and
run_disp_record2
v
other
v1
r1
rem
=
function
|
Impossible
->
assert
false
|
Ignore
r
->
make_result_prod
v1
r1
Absent
0
Absent
r
|
TailCall
d2
->
run_disp_record_loop
other
rem
d2
|
Ignore
r
->
make_result_prod
v1
r1
Absent
0
v
r
|
TailCall
d2
->
run_disp_record_loop
v
other
rem
d2
|
Dispatch
(
d2
,
b2
)
->
let
r2
=
!
cursor
in
let
code2
=
run_disp_record_loop
other
rem
d2
in
make_result_prod
v1
r1
Absent
r2
Absent
b2
.
(
code2
)
let
code2
=
run_disp_record_loop
v
other
rem
d2
in
make_result_prod
v1
r1
Absent
r2
v
b2
.
(
code2
)
and
run_disp_record_loop
other
rem
d
=
and
run_disp_record_loop
v
other
rem
d
=
match
actions
d
with
|
AIgnore
r
->
make_result_basic
Absent
r
|
AKind
k
->
run_disp_record
other
Absent
rem
k
.
record
|
AIgnore
r
->
make_result_basic
v
r
|
AKind
k
->
run_disp_record
other
v
rem
k
.
record
and
run_disp_string_latin1
i
j
s
q
actions
=
...
...
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