From 23a91c20f9d704777bf558ca6331183ba3534b20 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Fri, 8 Nov 2024 15:29:33 +1100
Subject: [PATCH] Fix contexts for tuples in flatten_arraylit.

---
 lib/flatten/flatten_arraylit.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/flatten/flatten_arraylit.cpp b/lib/flatten/flatten_arraylit.cpp
index bd70ef14b..33d41ffff 100644
--- a/lib/flatten/flatten_arraylit.cpp
+++ b/lib/flatten/flatten_arraylit.cpp
@@ -29,7 +29,10 @@ EE flatten_arraylit(EnvI& env, const Ctx& ctx, Expression* e, VarDecl* r, VarDec
     if (al->type().istuple() || al->type().isrecord()) {
       // Struct types have to check if any element is boolean to ensure correct context
       for (unsigned int i = al->size(); (i--) != 0U;) {
-        eval_ctx.b = c_root && Expression::type((*al)[i]).isbool() ? C_MIX : C_ROOT;
+        eval_ctx = ctx;
+        if (c_root && Expression::type((*al)[i]).isbool()) {
+          eval_ctx.b = C_MIX;
+        }
         elems_ee[i] = flat_exp(env, eval_ctx, (*al)[i], rr, ctx.partialityVar(env));
       }
     } else {