Skip to content

feat: remove do keyword from frontend#8931

Merged
magnus-madsen merged 5 commits intomasterfrom
issue-8926-remove-do-keyword
Oct 27, 2024
Merged

feat: remove do keyword from frontend#8931
magnus-madsen merged 5 commits intomasterfrom
issue-8926-remove-do-keyword

Conversation

@magnus-madsen
Copy link
Copy Markdown
Member

No description provided.

@magnus-madsen magnus-madsen requested a review from mlutze October 18, 2024 20:39
@magnus-madsen
Copy link
Copy Markdown
Member Author

@mlutze @JonathanStarup @stephentetley We no longer need do in front of a call to an effect operation.

In fact this PR removes do. Could you update your community packages? All you need is to go from do F.f to F.f

@stephentetley
Copy link
Copy Markdown
Contributor

Thanks for the heads up Magnus.

Is Community Build looking at the head of the repository or the latest release tarball? I've updated both, but I doth think I was using do in the previously release version.

@magnus-madsen
Copy link
Copy Markdown
Member Author

Thanks for the heads up Magnus.

Is Community Build looking at the head of the repository or the latest release tarball? I've updated both, but I doth think I was using do in the previously release version.

I think it uses the latest master. (so one does not have to create new releases).

@magnus-madsen
Copy link
Copy Markdown
Member Author

magnus-madsen commented Oct 20, 2024

@stephentetley
On a related note, I am hoping #8848 lands this week. Then master will support proper set effects - which should enable effects and handlers. The documentation has already been updated here: https://doc.flix.dev/effect-system.html

@magnus-madsen
Copy link
Copy Markdown
Member Author

@mlutze @JonathanStarup I am merging this. Please update your packages :)

@magnus-madsen magnus-madsen added this pull request to the merge queue Oct 27, 2024
Merged via the queue into master with commit 4e7c5ca Oct 27, 2024
@magnus-madsen magnus-madsen deleted the issue-8926-remove-do-keyword branch October 27, 2024 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants