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)
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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)