FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

`nil` confusion #116

Closed mtzguido closed 4 years ago

mtzguido commented 4 years ago

Silly issue, but if I define an identifier with the name nil and try to C-c C-s C-p wtih the cursor over it, no default is autocompleted:

2020-03-05 13:16:57_236

For other names the feature works well of course.

2020-03-05 13:17:19_237

One can also write "nil" manually to circumvent this issue.

cpitclaudel commented 4 years ago

Ouch, thanks for the report.

mtzguido commented 4 years ago

Thanks, that was fast!