From 56b91df9d5e95adbb4bf2edd2cd024e9d990a5d7 Mon Sep 17 00:00:00 2001 From: Neven Villani Date: Mon, 15 Jan 2024 17:38:07 +0000 Subject: [PATCH] Make MSeq.delay and MRand.delay lazy This avoids `Stack_overflow`s that otherwise occur when the behavior is only partially implemented. --- src/MRand.ml | 2 +- src/MSeq.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/MRand.ml b/src/MRand.ml index dba83ba..09c0149 100644 --- a/src/MRand.ml +++ b/src/MRand.ml @@ -10,7 +10,7 @@ let bind (sa : 'a t) (f : 'a -> 'b t) : 'b t = Utils.not_yet "MRand.bind" (sa, f) let delay (f : unit -> 'a t) : 'a t = - Utils.not_yet "MRand.delay" (f ()) + Utils.not_yet "MRand.delay" f let sum (li : 'a t list) : 'a t = Utils.not_yet "MRand.sum" li diff --git a/src/MSeq.ml b/src/MSeq.ml index 7f39da0..3e7ddd0 100644 --- a/src/MSeq.ml +++ b/src/MSeq.ml @@ -10,7 +10,7 @@ let bind (sa : 'a t) (f : 'a -> 'b t) : 'b t = Utils.not_yet "MSeq.bind" (sa, f) let delay (f : unit -> 'a t) : 'a t = - Utils.not_yet "MSeq.delay" (f ()) + Utils.not_yet "MSeq.delay" f let sum (li : 'a t list) : 'a t = Utils.not_yet "MSeq.sum" li