Variables wildcard #30

Open
opened 2021-05-02 13:17:41 +02:00 by Olivier · 2 comments
Owner
No description provided.
Collaborator

Dans le même genre, dans !21 on avait aussi noté que tevar_ était bof, il faudrait ajouter une construction tevar option dans l'AST si on veut autoriser _ mais aucun autre pattern.

Dans le même genre, dans [!21](https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/21) on avait aussi noté que `tevar_` était bof, il faudrait ajouter une construction `tevar option` dans l'AST si on veut autoriser `_` mais aucun autre pattern.
Collaborator

Olivier a fait les constructeurs sans arguments ( https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/24 ).

Olivier a fait les constructeurs sans arguments ( https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/24 ).
gasche changed title from Constructeur sans arguments et variables wildcard to Variables wildcard 2021-05-17 15:23:54 +02:00
Sign in to join this conversation.
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#30
No description provided.