Start working on generating code which uses a state-error monad

1 files changed, 5 insertions, 0 deletions

diff --git a/src/Pure.ml b/src/Pure.ml
index 387d229f..96c7d211 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -471,6 +471,11 @@ type expression =
   | Let of bool * typed_lvalue * texpression * texpression
       (** Let binding.
       
+          TODO: the boolean should be replaced by an enum: sometimes we use
+          the error-monad, sometimes we use the state-error monad (and we
+          do this an a per-function basis! For instance, arithmetic functions
+          are always in the error monad).
+
           The boolean controls whether the let is monadic or not.
           For instance, in F*:
           - non-monadic: `let x = ... in ...`