On Sat, Jan 14, 2012 at 18:18, TP <paratribulations@free.fr> wrote:
    Times expr1 Plus( expr2 expr3 ) ->

OCaml pattern syntax is not the same as Haskell pattern syntax.  The correct way to write that pattern is

    Times expr1 (Plus expr2 expr3)

This is consistent with Haskell not using parentheses for function parameters, since all calls are curried.

--
brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms