Eduardo Habkost writes:
> On Fri, Oct 09, 2020 at 07:26:02PM +0200, Markus Armbruster wrote:
>> John Snow writes:
>>
>> > The edge case is that if the name is '', this expression returns a
>> > string instead of a bool, which violates our declared type.
>> > In practice, module names are not al
On Fri, Oct 09, 2020 at 07:26:02PM +0200, Markus Armbruster wrote:
> John Snow writes:
>
> > The edge case is that if the name is '', this expression returns a
> > string instead of a bool, which violates our declared type.
> >
> > In practice, module names are not allowed to be the empty string,
John Snow writes:
> The edge case is that if the name is '', this expression returns a
> string instead of a bool, which violates our declared type.
>
> In practice, module names are not allowed to be the empty string, but
> this constraint is not modeled for the type system.
>
> Signed-off-by: J
The edge case is that if the name is '', this expression returns a
string instead of a bool, which violates our declared type.
In practice, module names are not allowed to be the empty string, but
this constraint is not modeled for the type system.
Signed-off-by: John Snow
Reviewed-by: Cleber Ro
