Mentions légales du service

Skip to content

[WIP] suggestion for #114. Also: incomplete patch (do not merge)

DAILLER Sylvain requested to merge 114_abstract_name into master

Hello,

This is a suggestion patch to avoid the general problem of unusable names created by concatenation with an infix (for example): I'd like to forbid this behavior. This patch also pollutes Ident and most of the code of Why3 hence this discussion.

Merge request reports