Skip to content

Commit 6be63fa

Browse files
cristianoczth
authored andcommitted
Reroute Pervasives.result
1 parent 4fab6f6 commit 6be63fa

File tree

2 files changed

+46
-722
lines changed

2 files changed

+46
-722
lines changed

analysis/src/CompletionBackEnd.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1373,6 +1373,8 @@ let rec getCompletionsForContextPath ~full ~opens ~rawOpens ~allFiles ~pos ~env
13731373
| Path.Pident id when Ident.name id = "result" -> Some resultModulePath
13741374
| Path.Pident id when Ident.name id = "lazy_t" -> Some ["Lazy"]
13751375
| Path.Pident id when Ident.name id = "char" -> Some ["Char"]
1376+
| Pdot (Pident id, "result", _) when Ident.name id = "Pervasives" ->
1377+
Some resultModulePath
13761378
| _ -> None
13771379
in
13781380
let rec expandPath (path : Path.t) =

0 commit comments

Comments
 (0)