21 Fév
2016
21 Fév
'16
16:20
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