Variables wildcard #30

Open
opened 2 years ago by Olivier · 2 comments
Owner
There is no content yet.
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 2 years ago
Sign in to join this conversation.
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#30
Loading…
There is no content yet.