test to see if fmt works

ejgallego · Mar 3, 2023 · a74a473 · a74a473
1 parent 5e83bcd
commit a74a473
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/controller-js/coq_lsp_worker.ml b/controller-js/coq_lsp_worker.ml
@@ -81,9 +81,7 @@ let setup_std_printers () =
 
 external coq_vm_trap : unit -> unit = "coq_vm_trap"
 
-let post_message (json : Yojson.Safe.t) =
-  let js = json_to_obj (Js.Unsafe.obj [||]) json in
-  Worker.post_message js
+let post_message (json : Yojson.Safe.t) = let js = json_to_obj (Js.Unsafe.obj [||]) json in Worker.post_message js
 
 external interrupt_setup : opaque (* Uint32Array *) -> unit = "interrupt_setup"
 

diff --git a/editor/code/lib/types.ts b/editor/code/lib/types.ts
@@ -30,9 +30,7 @@ export interface Message<Pp> {
 }
 
 export interface GoalAnswer<Pp> {
-  textDocument: VersionedTextDocumentIdentifier;
-  position: Position;
-  goals?: GoalConfig<Pp>;
+  textDocument: VersionedTextDocumentIdentifier;  position: Position;  goals?: GoalConfig<Pp>;
   messages: Pp[] | Message<Pp>[];
   error?: Pp;
 }