diff options
| author | Pierre-Marie Pédrot | 2020-06-26 09:49:23 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-01 13:33:08 +0200 |
| commit | 4e498fa2c96f4217c2d1204ebc032f224f93dbc4 (patch) | |
| tree | 1bfd2d4cade038162c9c82c0f3ddf79ca7266135 /kernel/nativelambda.mli | |
| parent | b017e302f69f20fc4fc3d4088a305194f6c387fa (diff) | |
Factorize tac2type syntax to fix the parsing of (t1, ..., tn) t.
It seems that nobody tried to write a parameterized type with more than one
parameter since this was causing a syntax error. LL(1) being great, we work
around the issue by factorizing the syntax with the generic parentheses and
decide the validity after parsing.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions