diff options
author | Alain Frisch <alain@frisch> | 2020-09-10 10:09:28 +0200 |
---|---|---|
committer | Alain Frisch <alain@frisch> | 2020-12-01 15:57:16 +0100 |
commit | ee1a202acd257b6bfd6e1a1f8b5bf461c748326d (patch) | |
tree | 3a7903e2be128f76e0f1d5c5012bf936da87c83e /lambda/debuginfo.ml | |
parent | 3f1c3bed3e93e0631c13c8f1fd3d9b2572042256 (diff) | |
download | ocaml-ee1a202acd257b6bfd6e1a1f8b5bf461c748326d.tar.gz |
Make Scoped_location.scopes abstract
Diffstat (limited to 'lambda/debuginfo.ml')
-rw-r--r-- | lambda/debuginfo.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lambda/debuginfo.ml b/lambda/debuginfo.ml index c1195d721c..bf6e99d1df 100644 --- a/lambda/debuginfo.ml +++ b/lambda/debuginfo.ml @@ -27,6 +27,8 @@ module Scoped_location = struct type scopes = scope_item list + let empty_scopes = [] + let add_parens_if_symbolic = function | "" -> "" | s -> |