Issues - inferno-experimental - Gitea: Git with a cup of tea

New Issue

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

#64 opened 2023-01-27 14:44:45 +01:00 by Olivier

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

#58 opened 2022-09-07 12:36:32 +02:00 by Olivier

[F.ml] Supprimer le terme Proj

#62 opened 2023-01-18 17:17:59 +01:00 by Olivier

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

#59 opened 2022-09-10 17:39:09 +02:00 by Olivier

Fix printing of variant types

#56 opened 2022-07-28 11:07:32 +02:00 by Olivier

Essayer de réagencer les modules en trois groupes

#18 opened 2021-04-06 15:08:25 +02:00 by Olivier

Moins d'environnements dans le solveur, plus d'environnements dans hastype

#25 opened 2021-04-21 16:43:30 +02:00 by gasche

Sortie plus claire

#45 opened 2021-10-19 11:27:02 +02:00 by Olivier

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

#44 opened 2021-09-15 12:11:17 +02:00 by gasche

Un combinateur pour gérer les erreurs

#39 opened 2021-06-24 17:51:24 +02:00 by gasche

grammaire: 'a ou a pour les variables de types ?

#28 opened 2021-04-30 10:10:32 +02:00 by gasche

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

#37 opened 2021-06-22 10:12:10 +02:00 by gasche

Variables wildcard

#30 opened 2021-05-02 13:17:41 +02:00 by Olivier

rebaser la branche de Carine sur l'upstream de François

#26 opened 2021-04-21 16:55:09 +02:00 by gasche

API avec types profonds

#24 opened 2021-04-21 16:40:44 +02:00 by gasche