0004835: None _ accepted as pattern match - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004835

OCaml

OCaml general

public

2009-07-13 15:45

2009-12-08 17:50

Reporter

gareuselesinge

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.11.1

Target Version

Fixed in Version

3.12.0+dev

Summary

0004835: None _ accepted as pattern match

Description

# let f x = match x with Some y -> y | None _ -> assert false;;
val f : 'a option -> 'a = <fun>

And if I use a name instead of _ it complains that None takes no arguments,
but likes 1 (not more) discarded arguments.

Tags

No tags attached.

Relationships

duplicate of	0004675	closed		Compiler fails to warn about pattern Top _ when Top is a 0-ary constructor
duplicate of	0004717	closed		Ocaml does not warn about invalid wildcard uses
related to	0004052	closed		Constructeur constant et _

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2009-07-13 15:45	gareuselesinge	New Issue
2009-07-15 15:06	xclerc	Relationship added	duplicate of 0004675
2009-07-15 15:07	xclerc	Relationship added	duplicate of 0004717
2009-07-15 15:07	xclerc	Relationship added	related to 0004052
2009-12-08 17:50	doligez	Status	new => closed
2009-12-08 17:50	doligez	Resolution	open => fixed
2009-12-08 17:50	doligez	Fixed in Version	=> 3.12.0+dev

Copyright © 2000 - 2011 MantisBT Group