diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-08 17:33:12 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-09 10:00:58 -0400 |
| commit | d8825650bd2b7855a92195c032a539aa3f09c9ef (patch) | |
| tree | e979f7b12c056da00d831ae27dd01124225cdf5a /checker/check.mllib | |
| parent | 87f9a317b020554abef358aec614dad1fdc0bd98 (diff) | |
Unbreak singleton list-like notation (-compat 8.4)
With this commit, it is possible to write notations so that singleton
lists are usable in both 8.4 and 8.5pl1 -compat. Longer lists await the
ability to remove notations from the parser.
Diffstat (limited to 'checker/check.mllib')
0 files changed, 0 insertions, 0 deletions