Un combinateur pour gérer les erreurs #39

Open
opened 2 years ago by gasche · 0 comments
gasche commented 2 years ago
Collaborator

Écrire un combinateur pour gérer les erreurs d'unification ou de résolution en général, en renvoyant une nouvelle erreur plus informative.

Écrire un combinateur pour gérer les erreurs d'unification ou de résolution en général, en renvoyant une nouvelle erreur plus informative.
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

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