From 27732e406720422313579b7d3a97977463183b89 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 24 Feb 2022 00:03:39 +0100
Subject: Finish writing the code which generates the state-error monad

---
 src/SymbolicToPure.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index f2ed1053..5709ce23 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -972,6 +972,9 @@ and translate_return (_config : config) (opt_v : V.typed_value option)
       (* Forward function *)
       let v = Option.get opt_v in
       let v = typed_value_to_rvalue ctx v in
+      (* TODO: we need to use a `return` function (otherwise we have problems
+       * with the state-error monad). We also need to update the type when using
+       * a state-error monad. *)
       let v = mk_result_return_rvalue v in
       let e = Value (v, None) in
       let ty = v.ty in
-- 
cgit v1.2.3