[m-dev.] proposal: require_switch_arms_{det,semi,...}

Julien Fischer jfischer at opturion.com
Thu Nov 13 22:28:14 AEDT 2014


On Thu, 13 Nov 2014, Zoltan Somogyi wrote:

> On Thu, 13 Nov 2014 14:02:28 +1100, Paul Bone <paul at bone.id.au> wrote:
>> I think this makes sense and your example makes it even clearer that this
>> feature is desirable.
>>
>> I also can't think of any reason why I wouldn't want this.
>
> Ok. We already have, on the one hand,
>
>  require_det Goal
>  require_semidet Goal
>
> and so on for the other determinisms, and on the other hand,
>
>  require_complete_switch [Var] Goal
>
> so the obvious syntax for the proposed construct is
>
>  require_switch_arms_det [Var] Goal
>  require_switch_arms_det [Var] Goal
>
> and so on. I think we can argue about the keyword,
> but I don't think we can use a different overall naming scheme
> unless we want to massively confuse developers.
>
> Any objections if I add this to the compiler in this form?

Not from me.

Cheers,
Julien.



More information about the developers mailing list