[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] Syntax for fields with both explicit constraints and initializ
|
From: |
Matt Ihlenfield |
|
Subject: |
Re: [RFC] Syntax for fields with both explicit constraints and initializers |
|
Date: |
Sat, 06 Mar 2021 02:33:23 +0000 |
Hi Jose!
> I just just add a little thing: if both INITVAL and EXPR are provided,
> then INITVAL should be checked against EXPR.
>
> In other words, this should raise a constraint expression:
>
> int i = QUUX : i in [FOO, BAR, BAZ];
Ya that makes sense to me! Shouldn't be able to set invalid default value.
Matt Ihlenfield