File: pexp.ml Line: 130-152
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.
Old Type Pinductive of symbol * (arg_kind * pvar * pexp option) * (symbol * (arg_kind * pvar option * pexp) list) list
Temporary Fix: Type Pinductive of symbol * pexp list * (symbol * (arg_kind * pvar option * pexp) list) list
Does (arg_kind * pvar * pexp option) <=> (typer code) pvar : pexp ? pexp: is a type pvar: variable name
Afficher les réponses par date
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
-
Pierre Delaunay -
Stefan Monnier