giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Operators with names that are a substring of another operator's name break the parser #87

Open giovinazzo-kevin opened 10 months ago

giovinazzo-kevin commented 10 months ago

Reproduce: try defining an operator named: ::= or is_point. Speculation: Since ":=" and "is" are operators, this breaks something.