Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
87e5ffa8
Commit
87e5ffa8
authored
Sep 14, 2015
by
POTTIER Francois
Browse files
Moved inline-shift and inlined-dollar from bench/bad to bench/good.
These grammars are now accepted.
parent
a1307125
Changes
8
Hide whitespace changes
Inline
Side-by-side
bench/bad/inline-shift.expected
deleted
100644 → 0
View file @
a1307125
File "inline-shift.mly", line 5, characters 3-11:
Error: You cannot use b and the $i syntax in this branch since the definition of b has to be inlined.
bench/bad/inlined-dollar.expected
deleted
100644 → 0
View file @
a1307125
File "inlined-dollar.mly", line 9, characters 8-9:
Error: You cannot use $i syntax in this branch since its definition will be inlined.
bench/good/inline-shift.exp
0 → 100644
View file @
87e5ffa8
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
bench/
ba
d/inline-shift.mly
→
bench/
goo
d/inline-shift.mly
View file @
87e5ffa8
File moved
bench/good/inline-shift.opp.exp
0 → 100644
View file @
87e5ffa8
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%start a
%token <int> T
%type <int> a
%%
a:
| _10 = T _20 = T _2 = c _4 = c
{let _3 =
( 0 )
in
let _1 =
let _2 = _20 in
let _1 = _10 in
()
in
( _2 + _3 + _4 )}
c:
| x = T
{ ( x + 1 )}
%%
bench/good/inlined-dollar.exp
0 → 100644
View file @
87e5ffa8
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
bench/
ba
d/inlined-dollar.mly
→
bench/
goo
d/inlined-dollar.mly
View file @
87e5ffa8
File moved
bench/good/inlined-dollar.opp.exp
0 → 100644
View file @
87e5ffa8
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%start t
%token <int> B
%token <int> A
%type <unit> t
%%
t:
| _1 = B _10 = A
{let y =
let _1 = _10 in
(
_1
)
in
(
y
)}
%%
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