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
cb7bd7b8
Commit
cb7bd7b8
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-05-10 22:14:17 by cvscast] Location for [...]
Original author: cvscast Date: 2003-05-10 22:14:17+00:00
parent
e036e995
Changes
1
Hide whitespace changes
Inline
Side-by-side
parser/parser.ml
View file @
cb7bd7b8
...
...
@@ -194,12 +194,14 @@ EXTEND
|
"("
;
l
=
LIST1
expr
SEP
","
;
")"
->
exp
loc
(
tuple
l
)
|
"["
;
l
=
LIST0
seq_elem
;
e
=
OPT
[
";"
;
e
=
expr
->
e
];
"]"
->
let
e
=
match
e
with
Some
e
->
e
|
None
->
cst_nil
in
List
.
fold_right
(
fun
x
q
->
match
x
with
|
`Elems
l
->
tuple_queue
l
q
|
`Explode
x
->
Op
(
"@"
,
[
x
;
q
])
)
l
e
let
l
=
List
.
fold_right
(
fun
x
q
->
match
x
with
|
`Elems
l
->
tuple_queue
l
q
|
`Explode
x
->
Op
(
"@"
,
[
x
;
q
])
)
l
e
in
exp
loc
l
|
t
=
[
a
=
TAG
->
exp
loc
(
Cst
(
Types
.
Atom
(
Atoms
.
mk
a
)))
|
"<"
;
e
=
expr
LEVEL
"no_appl"
->
e
];
...
...
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