Expose pretyping API needed by the language server

jasmin-lang · Jul 10, 2023 · d69b297 · d69b297
1 parent d262c46
commit d69b297
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/compiler/src/pretyping.mli b/compiler/src/pretyping.mli
@@ -14,6 +14,14 @@ module Env : sig
   val add_from : 'asm env -> string * string -> 'asm env
   val dependencies : 'asm env -> string list list
 
+  val enter_file : 'asm env -> Annotations.pident option -> Location.t option -> string -> ('asm env * string) option
+  val exit_file : 'asm env -> 'asm env
+
+  module Funs : sig
+    val push : 'asm env -> (unit, 'asm) Prog.pfunc -> Prog.pty list -> 'asm env
+    val find : Annotations.symbol -> 'asm env -> ((unit, 'asm) Prog.pfunc * Prog.pty list) option
+  end
+
   module Exec : sig
     val push :
       Location.t -> Prog.funname -> (Z.t * Z.t) list -> 'asm env -> 'asm env
@@ -32,6 +40,33 @@ val tt_item :
   Syntax.pitem Location.located ->
   ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env
 
+val tt_param :
+  Wsize.wsize ->
+  'asm Env.env ->
+  'a ->
+  Syntax.pparam ->
+  'asm Env.env
+
+val tt_fundef :
+  Wsize.wsize ->
+  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Sopn.sopn Sopn.asmOp ->
+  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env ->
+  Location.t ->
+  Syntax.pfundef ->
+  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env
+
+val tt_global :
+  Wsize.wsize ->
+  'asm Env.env ->
+  'a ->
+  Syntax.pglobal ->
+  'asm Env.env
+
+val tt_fun :
+  'asm Env.env ->
+  Annotations.symbol Location.located ->
+  (unit,'asm) Prog.pfunc * Prog.pty list
+
 val tt_program :
   Wsize.wsize ->
   ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Sopn.sopn Sopn.asmOp ->