From 23ceb23847f2a5cd568278a47015f4d220f138c5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 5 Jan 2023 23:50:41 +0100
Subject: Fix a minor issue in decompose_let_bindings

---
 compiler/PureUtils.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'compiler/PureUtils.ml')

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 =
-- 
cgit v1.2.3