[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] Some undefined patches
From: |
megane |
Subject: |
Re: [Chicken-hackers] Some undefined patches |
Date: |
Tue, 02 Apr 2019 06:10:21 +0300 |
User-agent: |
mu4e 1.0; emacs 25.1.1 |
address@hidden writes:
>> Another change is considering 'undefined' as a truthy value. The
>> interpreter considers 'undefined' truthy, too.
>
> Undefined is undefined, we shouldn't make any assumption here.
Hi Felix,
When the scrutinizer walks (begin) it knows the returned value is
undefined.
The value or behaviour of (if (begin) 1 #t) is not defined by R5RS.
AFAIK if it's not defined then whatever the implementation chooses to do
is OK.
In this case the whole expression can be therefore optimized to 1.
The scrutinizer does give a warning in any case.
- [Chicken-hackers] Some undefined patches, megane, 2019/04/01
- Re: [Chicken-hackers] Some undefined patches, felix . winkelmann, 2019/04/01
- Re: [Chicken-hackers] Some undefined patches,
megane <=
- [Chicken-hackers] Pessimizing undefined behavior, John Cowan, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, megane, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, felix . winkelmann, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, John Cowan, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, megane, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, felix . winkelmann, 2019/04/02
- Re: [Chicken-hackers] Pessimizing undefined behavior, megane, 2019/04/04
- Re: [Chicken-hackers] Pessimizing undefined behavior, megane, 2019/04/04
- Re: [Chicken-hackers] Pessimizing undefined behavior, felix . winkelmann, 2019/04/04
- Re: [Chicken-hackers] Pessimizing undefined behavior, megane, 2019/04/04