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...
Afficher les réponses par date