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
a005c140
Commit
a005c140
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-07-29 15:16:45 by afrisch] Empty log message
Original author: afrisch Date: 2005-07-29 15:18:20+00:00
parent
04c4f83d
Changes
1
Hide whitespace changes
Inline
Side-by-side
runtime/explain.ml
View file @
a005c140
...
...
@@ -48,7 +48,7 @@ and run_disp pt d v =
and
run_disp_kind
pt
d
actions
=
function
|
Pair
(
v1
,
v2
)
->
run_disp_prod
pt
d
v1
v2
actions
.
prod
|
Xml
(
v1
,
v2
,
v3
)
->
run_disp_prod
pt
d
v1
(
Pair
(
v2
,
v3
))
actions
.
xml
|
Xml
(
v1
,
v2
,
v3
)
|
XmlNs
(
v1
,
v2
,
v3
,_
)
->
run_disp_prod
pt
d
v1
(
Pair
(
v2
,
v3
))
actions
.
xml
|
Record
r
->
run_disp_record
pt
d
0
r
actions
.
record
|
Atom
q
->
make_result
pt
d
(
Atoms
.
get_map
q
actions
.
atoms
)
|
Char
c
->
make_result
pt
d
(
Chars
.
get_map
c
actions
.
chars
)
...
...
@@ -118,7 +118,7 @@ and run_disp_record_loop pt n rem d =
|
AIgnore
r
->
make_result
pt
d
r
|
AKind
k
->
run_disp_record
pt
d
n
rem
k
.
record
let
is_xml
=
function
(
Xml
_
,_
)
->
true
|
_
->
false
let
is_xml
=
function
(
(
Xml
_
|
XmlNs
_
)
,_
)
->
true
|
_
->
false
let
rec
simplify
=
function
|
(
Absent
,
_
)
::
l
->
simplify
l
...
...
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