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
b8fac4e9
Commit
b8fac4e9
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-04-14 17:13:19 by cmiachon] bug corrige sur /@
Original author: cmiachon Date: 2004-04-14 17:13:19+00:00
parent
07e48e06
Changes
1
Hide whitespace changes
Inline
Side-by-side
query/query_parse.ml
View file @
b8fac4e9
...
...
@@ -49,8 +49,8 @@ EXTEND
let
tag
=
mk
loc
(
Internal
(
Types
.
atom
Atoms
.
any
))
in
let
any
=
mk
loc
(
Internal
(
Types
.
any
))
in
let
att
=
mk
loc
(
Record
(
true
,
[(
label
a
,
mk
loc
(
PatVar
(
U
.
mk
"$$$"
)))]))
in
let
ct
=
mk
loc
(
Regexp
(
Elem
any
,
any
))
in
let
p
=
mk
loc
(
XmlT
(
tag
,
multi_prod
loc
[
att
;
ct
]))
in
(*
let ct= mk loc (Regexp(Elem any , any)) in
*)
let
p
=
mk
loc
(
XmlT
(
tag
,
multi_prod
loc
[
att
;
any
]))
in
let
t
=
(
p
,
Pair
(
Var
(
Id
.
value
id_dummy
)
,
cst_nil
))
in
exp
loc
(
Transform
(
e
,
[
t
]))
|
e
=
expr
;
"//"
;
p
=
pat
->
(* projections sur tous les descendants *)
...
...
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