Skip to content

Commit

Permalink
switchImplIntf: don't skip uri encoding (ocamllabs#983)
Browse files Browse the repository at this point in the history
Signed-off-by: Corentin Leruth <corentin.leruth@gmail.com>
  • Loading branch information
tatchi authored Apr 26, 2023
1 parent d6f8463 commit 38615c0
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,9 @@
# Change Log

## Unreleased

- Encode URI when sending the `switchImplIntf` request (#983)

## 1.12.3

- Reorder sandbox buttons (#1083)
Expand Down
4 changes: 1 addition & 3 deletions src/switch_impl_intf.ml
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,7 @@ let insert_inferred_intf ~source_uri client text_editor =

let request_switch client document =
let open Promise.Syntax in
let source_uri =
Uri.toString (TextDocument.uri document) ~skipEncoding:true ()
in
let source_uri = Uri.toString (TextDocument.uri document) () in
let fill_intf_if_empty_untitled text_editor =
let doc = TextEditor.document text_editor in
let is_empty_doc doc = TextDocument.getText doc () |> String.is_empty in
Expand Down

0 comments on commit 38615c0

Please sign in to comment.