summaryrefslogtreecommitdiff
path: root/lambda/debuginfo.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch>2020-09-10 10:09:28 +0200
committerAlain Frisch <alain@frisch>2020-12-01 15:57:16 +0100
commitee1a202acd257b6bfd6e1a1f8b5bf461c748326d (patch)
tree3a7903e2be128f76e0f1d5c5012bf936da87c83e /lambda/debuginfo.ml
parent3f1c3bed3e93e0631c13c8f1fd3d9b2572042256 (diff)
downloadocaml-ee1a202acd257b6bfd6e1a1f8b5bf461c748326d.tar.gz
Make Scoped_location.scopes abstract
Diffstat (limited to 'lambda/debuginfo.ml')
-rw-r--r--lambda/debuginfo.ml2
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 ->