Maybe I'm missing what you're saying, but with ATS 0.3.12 I think you can only use local...end at the top level
Cheers,
Vanessa
On 4/13/19 5:20 PM, aditya siram wrote:
> Am I right in thinking that the difference between a let/where and
> local is that the latter allows sharing scope across multiple
> declarations whereas the former only allows one?
>
> For example if I wanted local bindings for some 'val a' I could do:
>
> |
> val a =...where{...some bindings ...}
> |
>
>
>
> or:
> |
>
> local
> ...some bindings ...
> in
> val a =...
> end
> |
>
>
>
> but if I wanted share a local scope between 'val a' and 'val b' I'd
> have to do:
>
> l
> |
> ocal
> ...
> in
> val a =...
> val b =...
> end
> |
>
>
>
> since there is no way to do that with 'let' or 'where'.
>
> Is it correct that this is the only difference?
>
> Thanks!
> -deech
>
> --
> 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 ats-lang-users+unsubscr...@googlegroups.com
> <mailto:ats-lang-users+unsubscr...@googlegroups.com>.
> To post to this group, send email to ats-lang-users@googlegroups.com
> <mailto:ats-lang-users@googlegroups.com>.
> 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/f0ddb692-7b08-4019-868d-cdf697994bf5%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/f0ddb692-7b08-4019-868d-cdf697994bf5%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
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 ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
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/f85a7637-5823-dc8d-1b16-f200c5012c49%40iohk.io.
signature.asc
Description: OpenPGP digital signature
