diff options
| author | Hugo Herbelin | 2017-05-05 15:01:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-20 14:05:55 +0200 |
| commit | 5b218f87bd59cfe9d510410c9acf78b5485391e1 (patch) | |
| tree | 4e00be786036b205091326d80bb5bef416759346 /kernel/nativelambda.ml | |
| parent | 11851daee3a14f784cc2a30536a8f69be62c4f62 (diff) | |
Revised behavior on ill-formed identifiers.
Namely: Replacing (currently deactivated) warning on illegal ident by
an error in strict mode and nothing in soft mode.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions