Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
c59b0dda
Commit
c59b0dda
authored
Jul 09, 2010
by
Francois Bobot
Browse files
add : let toto = fun (x:int) -> ...
parent
b12615b8
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/programs/pgm_parser.mly
View file @
c59b0dda
...
...
@@ -189,6 +189,8 @@ decl:
{
Dlogic
$
1
}
|
LET
lident
list1_type_v_binder
opt_cast
EQUAL
triple
{
Dlet
(
$
2
,
mk_expr_i
3
(
Efun
(
$
3
,
cast_body
$
4
$
6
)))
}
|
LET
lident
EQUAL
FUN
list1_type_v_binder
ARROW
triple
{
Dlet
(
$
2
,
mk_expr_i
3
(
Efun
(
$
5
,
$
7
)))
}
|
LET
REC
list1_recfun_sep_and
{
Dletrec
$
3
}
|
PARAMETER
lident
COLON
type_v
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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