j'avais bien reçu l'email mais il avait été placé dans le boite à spam. Il semble que gmail n'arrive pas à authentifier l'adresse email de gitlab et le classifie donc comme malicieux.
J'ai push mes modifications. full_debug.ml compile c'est ce que j'utilise pour tester l'implémentation de nouvelles fonctionnalité.
Exemple d'output:
==== Node Sexp ======================= Symbol: [ln 1, cl 1] ab Node: [ln 4, cl 39] lambda_=>_ (_:_ a Type) @ (lambda_ (_:_ x (_->_ a x))) @ Node: [ln 7, cl 13] _->_ p:int @ int @
Pexp ======================= Pvar [ln 1, cl 1] ab Plambda [ln 4, cl 9] (lambda_=>_ (_:_ a Type) ?_) Parrow [ln 7, cl 13] (_->_ p:int int)
==== Lexp ======================= Var [ln 1, cl 1] ab Lambda [ln 4, cl 9] lambda (a: Type) -> unkwn Arrow [ln 7, cl 13] p:int -> int