summaryrefslogtreecommitdiff
path: root/compiler/PureUtils.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/PureUtils.ml')
-rw-r--r--compiler/PureUtils.ml5
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml
index 4816f31f..a60bcd78 100644
--- a/compiler/PureUtils.ml
+++ b/compiler/PureUtils.ml
@@ -68,6 +68,11 @@ let mk_let (monadic : bool) (lv : typed_pattern) (re : texpression)
let ty = next_e.ty in
{ e; ty }
+let mk_tag (msg : string) (next_e : texpression) : texpression =
+ let e = Meta (Tag msg, next_e) in
+ let ty = next_e.ty in
+ { e; ty }
+
(** Type substitution *)
let ty_substitute (tsubst : TypeVarId.id -> ty) (ty : ty) : ty =
let obj =