Labels Milestones

Search

New Issue

15 Open 27 Closed

Label

Use alt + click/enter to exclude labels All labels

Milestone

All milestones

Author

All authors Olivier gasche

Assignee

All assignees gasche Olivier

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

15 Open 27 Closed

Close

Label

Milestone

No milestone

Projects

No project

Assignee

No assignee

gasche

Olivier

[FTypeChecker] More informative error message (and more robust code) when typechecking variants.

#64 opened 2 months ago by Olivier

[F.ml] Supprimer le terme Proj

#62 opened 2 months ago by Olivier

[FTypeChecker] Implémentation plus efficace de l'égalité entre types

#59 opened 6 months ago by Olivier

[FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat]

#58 opened 7 months ago by Olivier

Fix printing of variant types

#56 opened 8 months ago by Olivier

Sortie plus claire

#45 opened 1 year ago by Olivier

2

abbréviations: rentrer client/structure.resolve dans le serveur

#44 opened 2 years ago by gasche

1

Un combinateur pour gérer les erreurs

#39 opened 2 years ago by gasche

ne pas stocker l'apostrophe des variables de type dans l'AST

#37 opened 2 years ago by gasche

Variables wildcard

#30 opened 2 years ago by Olivier

2