0005024: ocaml 3.12.0+dev17, svn revision 10259: revised syntax + new records underscore pattern = syntax error

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005024

OCaml

OCaml general

public

2010-04-11 16:44

2012-09-25 20:06

Reporter

Dmitry Grebeniuk

Assigned To

xclerc

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

3.12.1

Summary

0005024: ocaml 3.12.0+dev17, svn revision 10259: revised syntax + new records underscore pattern = syntax error

Description

I've downloaded ocaml from svn trunk (revision 10259) and noticed that revised syntax can't handle pattern "_" when matching records:

========================================================
C:\overbld\ocaml>ocaml
        Objective Caml version 3.12.0+dev17 (2010-01-20)

# #load "dynlink.cma";;
# #load "camlp4r.cma";;
        Camlp4 Parsing version 3.12.0+dev17 (2010-01-20)

# type myrec = { a : int; b : float };
type myrec = { a : int; b : float }
# value f { a = a; _ } = a;
Characters 15-16:
  value f { a = a; _ } = a;
                 ^
Error: Parse error: "}" expected after [label_ipatt_list] (in [ipatt])
#
========================================================

Tags

No tags attached.

Attached Files

Relationships

Notes
(0005311) frisch (developer) 2010-04-12 09:34	Indeed, none of the new syntactic features in the trunk have been ported to Camlp4 yet.

(0005954) doligez (manager) 2011-06-01 17:26	Still present in 3.12.0 and 3.12.1+dev10

Issue History
Date Modified	Username	Field	Change
2010-04-11 16:44	Dmitry Grebeniuk	New Issue
2010-04-12 09:34	frisch	Note Added: 0005311
2011-06-01 17:26	doligez	Note Added: 0005954
2011-06-01 17:26	doligez	Status	new => confirmed
2011-09-05 13:24	xclerc	Status	confirmed => resolved
2011-09-05 13:24	xclerc	Fixed in Version	=> 3.12.1
2011-09-05 13:24	xclerc	Resolution	open => fixed
2011-09-05 13:24	xclerc	Assigned To	=> xclerc
2012-09-25 20:06	xleroy	Status	resolved => closed