Skip to content

Commit e808b50

Browse files
committed
getCmt: make labelled argument interface non-optional.
1 parent 4dc3fe2 commit e808b50

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

analysis/src/ProcessCmt.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1286,7 +1286,7 @@ let fileForModule modname ~package =
12861286
if Hashtbl.mem package.pathsForModule modname then (
12871287
let paths = Hashtbl.find package.pathsForModule modname in
12881288
(* TODO: do better *)
1289-
let cmt = SharedTypes.getCmt paths in
1289+
let cmt = SharedTypes.getCmt ~interface:false paths in
12901290
let uri =
12911291
match SharedTypes.getSrc paths with
12921292
| Some sourcePath -> Uri2.fromPath sourcePath

analysis/src/SharedTypes.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -136,7 +136,7 @@ let getSrc p =
136136
| Namespace _ -> None
137137
| IntfAndImpl {resi} -> Some resi
138138

139-
let getCmt ?(interface = true) p =
139+
let getCmt ~interface p =
140140
match p with
141141
| Impl {cmt} -> cmt
142142
| Namespace {cmt} -> cmt

0 commit comments

Comments
 (0)