Gabriel Riba <griba2001 <at> gmail.com> writes:
>
> * at the eexp production (eexp : ....) add the following case
>
> | eexp BACKTICK path BACKTICK eapps (let
>
> val e = (EVar (#1 path, #2 path, Infer)
> , s (pathleft, pathright))
>
> val e = (EApp (e, eexp), s (eexpleft, pathright))
> in
> (EApp (e, eapps), s (eexpleft, etermright))
> end)
>
Correction (etermright should be eappsright):
* at the eexp production (eexp : ....) add the following case
| eexp BACKTICK path BACKTICK eapps (let
val e = (EVar (#1 path, #2 path, Infer)
, s (pathleft, pathright))
val e = (EApp (e, eexp), s (eexpleft, pathright))
in
(EApp (e, eapps), s (eexpleft, eappsright))
end)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
