Braces for EmptyCases #203

Closed
opened 2018-12-02 19:28:01 +01:00 by lspitzner · 2 comments
lspitzner commented 2018-12-02 19:28:01 +01:00 (Migrated from github.com)

As mentioned over at https://github.com/haskell/haskell-ide-engine/issues/967, it may be preferable to have EmptyCases be explicit, that is:

absurd a = case a of {}
-- and the lambdacase-variant
absurd = \case {}

I think this is sensible, at least behind a config flag, and perhaps even by default.

As mentioned over at https://github.com/haskell/haskell-ide-engine/issues/967, it may be preferable to have EmptyCases be explicit, that is: ~~~~.hs absurd a = case a of {} -- and the lambdacase-variant absurd = \case {} ~~~~ I think this is sensible, at least behind a config flag, and perhaps even by default.
eborden commented 2018-12-03 19:29:13 +01:00 (Migrated from github.com)

🤷‍♂️ I don't have a strong opinion on this.

:man_shrugging: I don't have a strong opinion on this.
lspitzner commented 2019-06-05 22:45:09 +02:00 (Migrated from github.com)

Merged the PR as is, which applies this change, by default, without a new config flag. If anyone wants this configurable, feel free to raise an issue.

Merged the PR as is, which applies this change, by default, without a new config flag. If anyone wants this configurable, feel free to raise an issue.
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#203
There is no content yet.