[ upstream ] Fix some compilation error introduced by a new compiler

buzden · Aug 8, 2024 · 4646130 · 4646130
1 parent 73dceae
commit 4646130
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/coop-monad/empty/003/Program.idr b/tests/coop-monad/empty/003/Program.idr
@@ -53,7 +53,7 @@ program = do
 
   res <- choiceMap
     ( \(comp, n) => choiceMap (\k => comp k <&> (++ ", var #\{show k}")) $ take n [1..n] )
-    [(s150, 1), (s55, 2), (s35, 3), (s77, 0)]
+    [(s150, 1), (s55, 2), (s35, 3), (s77 {m}, 0)]
   printTime offset "top: \{res}"
 
   printTime offset "end"