Pinductive is expecting: (arg_kind * pvar * pexp option) list and (pexp list) is given. I modified the type declaration for this to work. But it is not what it should be.
Oui, c'est la modification que j'ai faite quand on regardait le fichier ensemble: il s'agit ici de la liste d'arguments formels du nouveau types (e.g. le "α" de "List α"). J'avais "pexp list" mais ça doit être une liste d'argument formels, tout comme pour une définition de fonction.
Il faut cependant mettre à jour le code de pexp_parse.
Stefan