Closed kylegoetz closed 2 weeks ago
(==) x y = x * y errors in parsing
(==) x y = x * y
(unison [0, 0] - [0, 16] (term_declaration [0, 0] - [0, 16] (term_definition [0, 0] - [0, 16] name: (operator [0, 1] - [0, 1]) (ERROR [0, 1] - [0, 3] (kw_equals [0, 1] - [0, 2]) (kw_equals [0, 2] - [0, 3])) param: (wordy_id [0, 5] - [0, 6]) param: (wordy_id [0, 7] - [0, 8]) (kw_equals [0, 9] - [0, 10]) (function_application [0, 11] - [0, 16] (wordy_id [0, 11] - [0, 12]) (operator [0, 13] - [0, 14]) (wordy_id [0, 15] - [0, 16])))))
can't replicate anymore
(==) x y = x * y
errors in parsing