search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Illformed infix definitions in backends #13

Open kmemarian opened 6 years ago

kmemarian commented 6 years ago

The definition of infix functions is missing parens in the backends (at least in OCaml):

let (>>=) m f = ...

gets turned into:

let >>= m f:'a= ...