diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index c68538ff8..d86bfb4ac 100755 Binary files a/server/darwin/rescript-editor-support.exe and b/server/darwin/rescript-editor-support.exe differ diff --git a/server/linux/rescript-editor-support.exe b/server/linux/rescript-editor-support.exe index 95479e08e..0bdd00987 100755 Binary files a/server/linux/rescript-editor-support.exe and b/server/linux/rescript-editor-support.exe differ diff --git a/server/src/server.ts b/server/src/server.ts index 3d3cf899e..048abd530 100644 --- a/server/src/server.ts +++ b/server/src/server.ts @@ -280,7 +280,7 @@ process.on("message", (msg: m.Message) => { hoverProvider: binaryExists, definitionProvider: binaryExists, completionProvider: binaryExists - ? { triggerCharacters: ["."] } + ? { triggerCharacters: [".", ">"] } : undefined, }, }; diff --git a/server/win32/rescript-editor-support.exe b/server/win32/rescript-editor-support.exe index f3f08fbf1..7635bfdb7 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ