Repository navigation
Exhaustive pattern matching for variants and poly variants. #253
Description
recording.mp4
Example from scala. I'm not sure how this should be done. scala has advantage of match keyworkd coming after target expression so can decide to show that snippet based on that. can we do this with opening brace?
for example
type user = Owner | Admin | User
let isSuperUser = (user: user) => switch user { // show snippet
Reacted by Florian Hammerschmidt
Activity
cristianoc commentedon May 26, 2021
We have some templates in the extension.
@chenglou would templates give that ^ behaviour?
amiralies commentedon May 26, 2021
I don't think if those snippets now about type extensions. it should be done in analysis binary
just getting started
[-]Exhaustive pattern matching for variants[/-][+]Exhaustive pattern matching for variants and poly variants.[/+]cristianoc commentedon Jul 5, 2021
For poly variants, see suggestions in #283.
zth commentedon Jun 2, 2022
This would be very cool to have at least some version of. We don't have the "luxury" of Scala obviously in the order of the keywords/identifier, but maybe we can figure something out anyway.