diff options
| author | Arnaud Spiwack | 2014-09-03 18:22:58 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-09-04 10:25:55 +0200 |
| commit | 3c29ea3b2e58a7f76195834e9ab43d7e99a0a323 (patch) | |
| tree | 4b45017a8432cba1d1fa26bebfdc5f5a1619f549 /kernel | |
| parent | a93104d5462894d5d0651aa2e04e12c311eb5897 (diff) | |
Factorize the parsing rules of [Record] and the other kind of type definitions.
They were almost identical, except some unused misplaced coercion symbol in the non-[Record] rule.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions