Remove parenthesis around case patterns

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family

Apache License 2.0

1 stars 1 forks source link

Remove parenthesis around case patterns #78

Closed jeltsch closed 11 months ago

jeltsch commented 12 months ago

The partial_case expressions in the definition of Ouroboros-Mini_Protocols-Request_Response.next_state' have parentheses around their patterns, which are superfluous. We shall remove them.