Rebase to Sail 0.18

ThinkOpenly · Sep 16, 2024 · dd893a6 · dd893a6
1 parent 173749d
commit dd893a6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/sail_json_backend.opam b/sail_json_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Sail to JSON formatting"
 maintainer: ["Sail Devs <[email protected]>"]
 authors: [

diff --git a/src/sail_json_backend/sail_plugin_json.ml b/src/sail_json_backend/sail_plugin_json.ml
@@ -66,10 +66,11 @@
 (****************************************************************************)
 
 open Libsail
+open Interactive.State
 
 let json_options = []
 
-let json_target _ _ out_file ast effect_info env = Json.defs (Type_check.strip_ast ast)
+let json_target out_file { ast; _ } = Json.defs (Type_check.strip_ast ast)
 
 let _ =
   Target.register ~name:"json" ~options:json_options