summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-04-06 15:25:24 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-05-24 14:10:09 +0100
commit2986a94fa2603db5cca748d1bdbc7edae98c46d7 (patch)
treefa12504fccab1448e6dad8164ef3e6f77e95fb70 /.depend
parentf68c29519326d214e11bc6a84328b1da29ce14fd (diff)
downloadocaml-2986a94fa2603db5cca748d1bdbc7edae98c46d7.tar.gz
Add Warnings.ghost_loc_in_file
Factors out some common usage between Warnings and Location for zero-length ghost locations.
Diffstat (limited to '.depend')
0 files changed, 0 insertions, 0 deletions