Hi Hongwei,
On Wed, Jun 22, 2016 at 1:33 PM, Hongwei Xi <[email protected]> wrote:
> Or you can turn chss_p into a predicate:
>
> stacst chss_p : (int) -> bool
>
> Please take a look at the following code:
>
> https://github.com/githwxi/ATS-Postiats-test/blob/master/contrib/hwxi/TEST30/test37.dats
Thanks. However this style needs injecting `{s:int | chss_p(s)}` into
every function...
> There are many ways to address this issue. I don't feel it is worth the
> effort right now because
> I don't see that anyone would be using a type like chss(10). If it turns out
> to be a real problem,
> then you can always try to fix it later. Right now, this is all *imaginary*.
Yes, you are right. This issue should occur when following:
* Application's function is introduced with a bad state number such
like `chss(10)`, and...
* All of system API called by the function has a bad state number.
Then I think that such error caused by bad state number is rare case.
Thanks,
--
Kiwamu Okabe at METASEPI DESIGN
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dne8YJHp5%3D7mKD%2BfTytcNRuP%3DdwG80prhOwGtMmrowPPA%40mail.gmail.com.
