Amélioration du warning des variables non utilisées #4076
Assignees
Labels
Comments
|
Comment author: @damiendoligez Est-ce que ca vaut le coup ? Ca represente beaucoup de travail pour peu de fonctionnalite. Le 1 peut-etre, le 2 c'est carrement dur. |
This was referenced Mar 14, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 4076
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @alainfrisch on 2011-12-21T16:24:35Z)
Resolution: duplicate
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #5438
Related to: #4033
Monitored by: @alainfrisch
Bug description
Deux suggestions pour améliorer les warnings Y/Z:
Ex: let rec g x = g x in () ne donne pas de warning actuellement. La solution complète, c'est de définir la notion "variable utilisée" de manière inductive. Une solution intermédiaire, c'est de vérifier que dans un "let rec B in e", au moins une des variables définies dans B est utilisée dans e.
Un identificateur défini dans une structure, mais jamais utilisé dans la structure et caché par la signature pourrait aussi être signalé (ça demande de faire la vérification au niveau du typeur).
The text was updated successfully, but these errors were encountered: