Distinguish between "foo (): type" and "foo (): (_:type)" (fixes #360).
The former is syntactic sugar for foo (): (result:type)
. But there is no good reason for the latter to also be syntactic sugar for it.
Closes #360 (closed)
The former is syntactic sugar for foo (): (result:type)
. But there is no good reason for the latter to also be syntactic sugar for it.
Closes #360 (closed)