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
72f04964
Commit
72f04964
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-05-14 14:12:49 by cvscast] Empty log message
Original author: cvscast Date: 2003-05-14 14:12:49+00:00
parent
83bc8de4
Changes
1
Hide whitespace changes
Inline
Side-by-side
parser/parser.ml
View file @
72f04964
...
...
@@ -175,7 +175,7 @@ EXTEND
|
[
e1
=
expr
;
op
=
[
"+"
|
"-"
|
"@"
];
e2
=
expr
->
exp
loc
(
Op
(
op
,
[
e1
;
e2
]))
|
e
=
expr
;
"
\\
"
;
l
=
[
LIDENT
|
UIDENT
]
->
|
e
=
expr
;
"
\\
"
;
l
=
[
LIDENT
|
UIDENT
|
keyword
]
->
exp
loc
(
RemoveField
(
e
,
LabelPool
.
mk
l
))
]
|
...
...
@@ -192,7 +192,7 @@ EXTEND
exp
loc
(
Op
(
"flatten"
,
[
Map
(
e
,
[
b
])]))
]
|
[
e
=
expr
;
"."
;
l
=
[
LIDENT
|
UIDENT
]
->
[
e
=
expr
;
"."
;
l
=
[
LIDENT
|
UIDENT
|
keyword
]
->
exp
loc
(
Dot
(
e
,
LabelPool
.
mk
l
))
]
...
...
@@ -399,7 +399,7 @@ EXTEND
];
record_spec
:
[
[
r
=
LIST0
[
l
=
[
LIDENT
|
UIDENT
];
"="
;
[
[
r
=
LIST0
[
l
=
[
LIDENT
|
UIDENT
|
keyword
];
"="
;
o
=
[
"?"
->
true
|
->
false
];
x
=
pat
->
let
x
=
if
o
then
mk
loc
(
Optional
x
)
else
x
in
...
...
@@ -417,7 +417,7 @@ EXTEND
const
:
[
[
i
=
INT
->
Types
.
Integer
(
Intervals
.
mk
i
)
|
"`"
;
a
=
[
LIDENT
|
UIDENT
]
->
Types
.
Atom
(
Atoms
.
mk
a
)
|
"`"
;
a
=
[
LIDENT
|
UIDENT
|
keyword
]
->
Types
.
Atom
(
Atoms
.
mk
a
)
|
c
=
char
->
Types
.
Char
c
]
];
...
...
@@ -431,7 +431,7 @@ EXTEND
expr_record_spec
:
[
[
r
=
LIST1
[
l
=
[
LIDENT
|
UIDENT
];
"="
;
x
=
expr
->
[
l
=
[
LIDENT
|
UIDENT
|
keyword
];
"="
;
x
=
expr
->
(
LabelPool
.
mk
l
,
x
)
]
SEP
";"
->
exp
loc
(
RecordLitt
(
make_record
loc
r
))
...
...
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