Stream: announcements

Topic: has -> implements


view this post on Zulip Anton (Aug 11 2023 at 16:14):

@everyone breaking changes are coming with tomorrow's nightly release!
The ... | ... has ... syntax will become ... where ... implements ...

For example:

-empty : {} -> Dict k v | k has Hash & Eq
+empty : {} -> Dict k v where k implements Hash & Eq

I'll try to make a new basic-cli release available before the new nightly drops.

view this post on Zulip Richard Feldman (Aug 11 2023 at 18:04):

thanks @Bryce Miller for all the hard work changing things over! :heart_eyes:

view this post on Zulip Bryce Miller (Aug 11 2023 at 20:36):

Getting my branch up to speed with main must have been a real chore. Thanks to the brave soul who did that.

EDIT: It was Richard. That looked painful.

view this post on Zulip Richard Feldman (Aug 11 2023 at 21:19):

just took a bit of iterating, it's all good! :big_smile:

view this post on Zulip Anton (Aug 12 2023 at 18:08):

basic-cli 0.5.0 is available: https://github.com/roc-lang/basic-cli/releases/download/0.5.0/Cufzl36_SnJ4QbOoEmiJ5dIpUxBvdB3NEySvuH82Wio.tar.br

Once PR#5756 is merged, working docs should be available on https://www.roc-lang.org/packages/basic-cli/0.5.0

I'll add the release notes on monday.

view this post on Zulip Anton (Aug 14 2023 at 17:49):

release notes are now available


Last updated: Jul 26 2025 at 12:14 UTC