0004186: Catch-all pattern does not work with optional arguments

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004186

OCaml

OCaml general

public

2006-12-14 21:06

2006-12-15 05:53

Reporter

mottl

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.09.3

Target Version

Fixed in Version

3.10+dev

Summary

0004186: Catch-all pattern does not work with optional arguments

Description

The following is legal:

  let f ~x:_ () = ()

But the following will lead to a syntax error:

  let f ?x:_ () = ()

Interestingly, the following works:

  let f ?x:_foo () = ()

It should be possible to use a plain underscore with optional arguments, too, for consistency.

Tags

No tags attached.

Attached Files

Relationships

Notes
(0003880) garrigue (manager) 2006-12-15 05:53	This was indeed a bug. Camlp4 worked correctly. Fixed in both HEAD and release309.

Issue History
Date Modified	Username	Field	Change
2006-12-14 21:06	mottl	New Issue
2006-12-15 05:53	garrigue	Status	new => closed
2006-12-15 05:53	garrigue	Note Added: 0003880
2006-12-15 05:53	garrigue	Resolution	open => fixed
2006-12-15 05:53	garrigue	Fixed in Version	=> 3.10+dev