[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PROPOSAL] with_cur_ios() function in the stdlib
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PROPOSAL] with_cur_ios() function in the stdlib |
|
Date: |
Sun, 10 Apr 2022 13:02:30 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> 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.
- [PROPOSAL] with_cur_ios() function in the stdlib, apache2, 2022/04/09
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Jose E. Marchesi, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Mohammad-Reza Nabipoor, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Jose E. Marchesi, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Jose E. Marchesi, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Mohammad-Reza Nabipoor, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Jose E. Marchesi, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, apache2, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, Mohammad-Reza Nabipoor, 2022/04/10
- Re: [PROPOSAL] with_cur_ios() function in the stdlib, apache2, 2022/04/10