Jonathan Graveline pushed to branch graveline at Stefan / Typer Commits: 3da1ce59 by Jonathan Graveline at 2018-05-17T22:15:49Z push_susp reverse let definition (not sure if it was an error) - - - - - 1 changed file: - src/lexp.ml Changes: ===================================== src/lexp.ml ===================================== --- a/src/lexp.ml +++ b/src/lexp.ml @@ -276,7 +276,9 @@ let rec push_susp e s = (* Push a suspension one level down. *) -> (ssink v s, (v, mkSusp def s', mkSusp ty s) :: ndefs)) (s, []) defs in - mkLet (l, ndefs, mkSusp e s') + (* Why does definition list was reversed? It do not break anything to reverse it back! *) + (*mkLet (l, ndefs, mkSusp e s')*) + mkLet (l, List.rev ndefs, mkSusp e s') | Arrow (ak, v, t1, l, t2) -> mkArrow (ak, v, mkSusp t1 s, l, mkSusp t2 (ssink (maybev v) s)) | Lambda (ak, v, t, e) -> mkLambda (ak, v, mkSusp t s, mkSusp e (ssink v s)) View it on GitLab: https://gitlab.com/monnier/typer/commit/3da1ce59a158f3f579cb312d1d7e303baa73... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/3da1ce59a158f3f579cb312d1d7e303baa73... You're receiving this email because of your account on gitlab.com.