From 82ebc97f33c8e9a5342b7bf147cfc2013231d3eb Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 15:34:48 +0100
Subject: Fix rng state

---
 samples/fun/rng-state.bruijn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'samples/fun/rng-state.bruijn')

diff --git a/samples/fun/rng-state.bruijn b/samples/fun/rng-state.bruijn
index 49d77bc..2297728 100644
--- a/samples/fun/rng-state.bruijn
+++ b/samples/fun/rng-state.bruijn
@@ -17,6 +17,6 @@ rand-bool map even? rand
 # normal bind
 triple rand >>= [rand >>= [rand >>= [pure [0 1 2 3]]]]
 
-:test ((triple (+50) [[1]]) =? (+595)) ([[[2]]])
+:test ((triple (+50) [[1]] [[[0]]]) =? (+595)) ([[1]])
 
-main string→number → triple
+main string→number → triple → &[[1]]
-- 
cgit v1.2.3