Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity

Variables wildcard #30

New Issue
Open
opened 2021-05-02 13:17:41 +02:00 by Olivier · 2 comments
Olivier commented 2021-05-02 13:17:41 +02:00
Owner
There is no content yet.
gasche commented 2021-05-03 11:39:54 +02:00
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.
gasche commented 2021-05-17 15:23:46 +02:00
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 Branch/Tag Specified
Branches Tags
equality-constraint-graph
introduce-rigid
equality-constraint-env-immutable
upstream
equality-constraint-2
issue-64
issue-58
type-equations
equality-constraint
master
type-equations-master
n-ary-fun-printing
abstract
rigid-variable-fix
rigid-variable-rebase
letrn
gadt-language
multi-eq
error-message-rebase
rigid-rebase
error-message
clearer-test-output
ranges
minor-fixes
test-files
alcotest
abbrev_refactoring
rigid-variable
test-framework
qcheck
printer
improve-ast
parser
last_push
frozen-infer
f-datatypes
f-datatypes-wip
match-upstream
variants-upstream
pretty-printer-upstream
new-f-constructs-upstream
frozen-solver2
solver2
match2
frozen-solver
frozen
match
variants
debug
new-api
pretty-printer
co_cps
new-f-constructs
separate-test
type-environment
frozen-infer-at-the-end-of-the-internship
20201104
20201001
20190924
20180405
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
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
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?