Merge pull request #134 from shym/integer-not-int

Translate Gospel `integer` as `Ortac_runtime.integer`
ocaml-gospel · Sep 14, 2023 · 5aded65 · 5aded65
2 parents febd0f2 + c2f8823
commit 5aded65
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/core/ocaml_of_gospel.ml b/src/core/ocaml_of_gospel.ml
@@ -165,7 +165,8 @@ and term ~context (t : Tterm.term) : expression =
 let core_type_of_ty_with_subst subst ty =
   let open Ttypes in
   let lident_of_tysymbol ts =
-    (if ty_equal ty_integer ty then "int" else Fmt.str "%a" Ident.pp ts.ts_ident)
+    (if ty_equal ty_integer ty then "Ortac_runtime.integer"
+     else Fmt.str "%a" Ident.pp ts.ts_ident)
     |> Builder.lident
   in
   let rec aux ty =