Re: [PROPOSAL] with_cur_ios() function in the stdlib

[apache2]

On Sun, Apr 10, 2022 at 01:02:30PM +0200, Jose E. Marchesi wrote:
> 
> > On Sun, Apr 10, 2022 at 12:32:38PM +0200, apache2 wrote:
> >> On Sun, Apr 10, 2022 at 02:22:13PM +0430, Mohammad-Reza Nabipoor wrote:
> >> diff --git a/libpoke/pkl-rt.pk b/libpoke/pkl-rt.pk
> >> index c6b3209c..03d39970 100644
> >> --- a/libpoke/pkl-rt.pk
> >> +++ b/libpoke/pkl-rt.pk
> >> @@ -563,6 +563,27 @@ immutable fun _pkl_run_ios_set_hook = (int<32> ios) 
> >> void:
> >>      f (ios);
> >>  }
> >>  
> >> +immutable type With_Ios_Fn = () void;
> >> +
> >> +immutable fun with_cur_ios = (string handle, With_Ios_Fn do = lambda 
> >> void:{}, uint<32> flags = 0) void:
> >> +{
> >
> > I think this function belongs to `std.pk` rather than `pkl-rt.pk`.
> 
> I'm not that sure.
> 
> If you redefine with_cur_ios you will break existing Poke programs in a
> quite fundamental way.  It makes sense to have it immutable.

I agree with Mohammad -- is there a benefit to being able to redefine it?