Comment author: administrator

Fixed by MM, 2003/09/30.

Comment author: administrator

This now fixed in the CVS tree (to be publish tonight). Thanks for the
report,

-- Michel

oiwa@yl.is.s.u-tokyo.ac.jp wrote/écrivait (Mon, Sep 29, 2003 at 11:19:37PM +0200):

Full_Name: Yutaka Oiwa
Version: 3.07
OS: Linux
Submission from: h219-110-065-001.catv01.itscom.jp (219.110.65.1)

Labelled application is not correctly parsed in quotation.

#load "q_MLast.cmo"
let _ = <:expr<f ~x:y z>>

produces

File "test.ml", line 2, characters 17-19:
While expanding quotation "expr":
Parse error: end of input expected after [expression] (in [expression])

Adding space before ":" (i.e. <:expr<f ~x :y z>>) works,
but this is not in correct syntax outside quotation.

This bug did not appear in 3.07+beta1.