Skip to content

Conversation

@novaugust
Copy link
Contributor

@novaugust novaugust commented Nov 12, 2023

closes #84

leaving this as a PR for a bit while I stew

with :ok <- b(), :ok <- b() do
:ok
else
:what -> :what
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

unsure if i want to replace all equivalent nodes, or only variables. letting people specify patterns here at least tells the reader "the caller doesn't have to worry about anything but this value", whereas else error -> error end conveys 0 information and so can be trivially removed.

@novaugust novaugust force-pushed the me/with-identity-else branch from 4a8592e to 12f006c Compare November 12, 2023 15:31
@novaugust novaugust force-pushed the me/with-identity-else branch 5 times, most recently from fd3474e to c1e2748 Compare November 12, 2023 15:53
@novaugust novaugust force-pushed the me/with-identity-else branch from c1e2748 to 3aece4a Compare November 12, 2023 16:01
@novaugust novaugust merged commit 99f6168 into main Nov 13, 2023
@novaugust novaugust deleted the me/with-identity-else branch November 13, 2023 16:01
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.

[feature] Blocks: remove identity else (else error -> error end) from with clauses

2 participants