0003957: [> {typexpr} as 't ] yields a syntax error with yacc syntax

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003957

OCaml

OCaml general

public

2006-01-20 16:13

2012-09-11 14:18

Reporter

alexbaretta

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

4.00.2+dev

Fixed in Version

Summary

0003957: [> {typexpr} as 't ] yields a syntax error with yacc syntax

Description

root@alex:~# ledit ocaml
Objective Caml version 3.09.1+dev5 (2005-12-05)

# type 'a foo = [ `Foo of 'a ];;
type 'a foo = [ `Foo of 'a ]
# let x : [> 'x foo as 'x] option = None;;
Syntax error
# #load "camlp4o.cma";;
Camlp4 Parsing version 3.09.1+dev5 (2005-12-05)

# let x : [> 'x foo as 'x] option = None;;
val x : [> ('a foo as 'a) foo ] option = None

Additional Information

The problem is hardly significant, as the camlp4 based parsers easily allow to overcome it.

Tags

No tags attached.

Attached Files

Relationships

related to

0003835

closed

Camlp4 accepts illegal (?) code

Notes
(0003519) mauny (developer) 2006-01-23 18:59	Seems that camlp4 conforms to the spec. Similar to issue 0003835.

Issue History
Date Modified	Username	Field	Change
2006-01-20 16:13	alexbaretta	New Issue
2006-01-23 18:57	mauny	Relationship added	related to 0003835
2006-01-23 18:59	mauny	Note Added: 0003519
2006-03-29 16:34	doligez	Status	new => acknowledged
2006-03-29 16:34	doligez	Category	Caml-light => OCaml general
2012-07-11 16:46	doligez	Target Version	=> 4.01.0+dev
2012-07-31 13:37	doligez	Target Version	4.01.0+dev => 4.00.1+dev
2012-09-11 14:18	doligez	Target Version	4.00.1+dev => 4.00.2+dev