Skip to content

Parsing of values and functions is not consistent

Motivation

It's very strange to me, that in the following snippet f gets parsed as a single FunBind, while y gets parsed as two FunBinds (and fails to compile afterwards).

f x | True = 42
f x = 0

y | True = 42
y = 0

I think this is useful in let blocks.

Proposal

Parse such values and functions in the same way.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information