[Ur] Functional infix operators ?

[Gabriel Riba]

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)