FStar icon indicating copy to clipboard operation
FStar copied to clipboard

arity mismatch (explain)

Open briangmilnes opened this issue 11 months ago • 0 comments

  • Arity mismatch on let rec annotation
  • (explain)

Should do with an error message number and in my case I got it by modifying a let rec with two new arguments in the language server when I had not put them in first in the fsti.

briangmilnes avatar Dec 11 '24 03:12 briangmilnes