search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

warn 331 on useful documentation names in fstar.2024.01.13~dev/ocaml/_build/install/default/bin/fstar #3372

Open briangmilnes opened 3 months ago

briangmilnes commented 3 months ago

module ExceptionNamesBug

/// It would be nice if it did not warn 331 here as names are documentation. exception One of (name: string)

and turning it down may cause other naming warnings of value to be missed.