From a916af7fde6a6ab85ce2b649664119477672c890 Mon Sep 17 00:00:00 2001 From: Gabriel Nordeborn Date: Sat, 17 Sep 2022 13:24:27 +0200 Subject: [PATCH] dot complete opt --- analysis/src/CompletionBackEnd.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/analysis/src/CompletionBackEnd.ml b/analysis/src/CompletionBackEnd.ml index 51dab59be..82b846498 100644 --- a/analysis/src/CompletionBackEnd.ml +++ b/analysis/src/CompletionBackEnd.ml @@ -1031,6 +1031,7 @@ let instantiateType ~typeParams ~typeArgs (t : Types.type_expr) = let rec extractRecordType ~env ~package (t : Types.type_expr) = match t.desc with | Tlink t1 | Tsubst t1 | Tpoly (t1, []) -> extractRecordType ~env ~package t1 + | Tconstr (Pident {name = "option"}, [{desc = Tconstr (path, typeArgs, _)}], _) | Tconstr (path, typeArgs, _) -> ( match References.digConstructor ~env ~package path with | Some (env, ({item = {kind = Record fields}} as typ)) ->