aihc-parser-1.0.0.2: test/Test/Fixtures/equivalent/pattern/view-block-app-arg.yaml
extensions: [BlockArguments, UnboxedSums, ViewPatterns, MultiWayIf]
equivalent:
- |
(# []
if | let { }
->
[]
[]
-> _
| #)
- |
(# []
(if | let { }
->
[])
[]
-> _
| #)
status: pass
reason: A view-pattern arrow bounds the view expression, so block arguments without type signatures can stay bare.