Open gelisam opened 1 year ago
If I pattern-match on a list and I accidentally use cons instead of ::, it would be nice if Klister noticed that it's a list I'm matching on an suggested "did you mean (nil) or (:: _ _)?"
cons
::
(nil)
(:: _ _)
If I pattern-match on a list and I accidentally use
cons
instead of::
, it would be nice if Klister noticed that it's a list I'm matching on an suggested "did you mean(nil)
or(:: _ _)
?"