codo-notation icon indicating copy to clipboard operation
codo-notation copied to clipboard

Specifying underscore as a variable for the codo block makes codo error

Open twixninja411 opened this issue 5 years ago • 0 comments

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|]

twixninja411 avatar Nov 04 '19 07:11 twixninja411