0004717: Ocaml does not warn about invalid wildcard uses

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004717

OCaml

OCaml general

public

2009-02-13 18:25

2009-12-08 17:50

Reporter

Sebastien Furic

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.11.0

Target Version

Fixed in Version

3.12.0+dev

Summary

0004717: Ocaml does not warn about invalid wildcard uses

Description

the following code:

let f = function
| Some x -> x
| None _ -> 0;;

yields an error using OCaml 3.10.2 but compiles fine using OCaml 3.11.0 (Linux platform)

Additional Information

        Objective Caml version 3.10.2

# let f = function
    | Some x -> x
    | None _ -> 0;;
Characters 39-45:
    | None _ -> 0;;
       ^^^^^^
The constructor None expects 0 argument(s),
but is here applied to 1 argument(s)

        Objective Caml version 3.11.0

# let f = function
    | Some x -> x
    | None _ -> 0;;
val f : int option -> int = <fun>

Tags

No tags attached.

Attached Files

Relationships

duplicate of	0004675	closed	Compiler fails to warn about pattern Top _ when Top is a 0-ary constructor
has duplicate	0004835	closed	None _ accepted as pattern match
child of	0004052	closed	Constructeur constant et _

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2009-02-13 18:25	Sebastien Furic	New Issue
2009-02-16 10:05	ertai	Relationship added	child of 0004052
2009-02-16 10:05	ertai	Relationship added	duplicate of 0004675
2009-04-27 17:12	doligez	Status	new => acknowledged
2009-07-15 15:07	xclerc	Relationship added	has duplicate 0004835
2009-12-08 17:50	doligez	Status	acknowledged => closed
2009-12-08 17:50	doligez	Resolution	open => fixed
2009-12-08 17:50	doligez	Fixed in Version	=> 3.12.0+dev