codo-notation
codo-notation copied to clipboard
Specifying underscore as a variable for the codo block makes codo error
For example, the following errors:
f alpha = [codo| ((x,_),g) => extract x - alpha*extract g|]
The following compiles just fine:
f alpha = [codo| ((x,dontcare),g) => extract x - alpha*extract g|]