Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 89693bc3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

One new example of tricky inlining.

parent 99e2ae30
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.
%token A B C D E
%start<unit> main
%%
%inline callee: B C a = D { $startpos(a), $startpos }
main: A a = callee e = E { a, $startpos(a), $startpos, $startpos(e) }
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 main
%token E
%token D
%token C
%token B
%token A
%type <unit> main
%%
main:
| _1 = A _10 = B _20 = C a0 = D e = E
{let a =
let _startpos_a_ = _startpos_a0_ in
let _startpos = _startpos__10_ in
let a = a0 in
let _2 = _20 in
let _1 = _10 in
( _startpos_a_, _startpos )
in
let _startpos_a_ = _startpos__10_ in
( a, _startpos_a_, _startpos, _startpos_e_ )}
%%
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment