Variables wildcard #30
Loading…
Reference in New Issue
There is no content yet.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?
Dans le même genre, dans !21 on avait aussi noté que
tevar_
était bof, il faudrait ajouter une constructiontevar option
dans l'AST si on veut autoriser_
mais aucun autre pattern.Olivier a fait les constructeurs sans arguments ( https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/24 ).
Constructeur sans arguments et variables wildcardto Variables wildcard