Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006420OCamlOCaml typingpublic2014-05-13 16:192014-05-14 06:07
Reporterfrisch 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version4.02.0+dev 
Summary0006420: Bad error message for non-exhaustive matching on extensible types
Description
type t = ..
type t += A of int

let f = function
  | A x -> x


gives the following warning:

Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
A


The example is precisely one of the values being matched (well, modulo the missing argument in the warning text).
TagsNo tags attached.
Attached Filesdiff file icon fix-parmatch.diff [^] (661 bytes) 2014-05-13 20:48 [Show Content]

- Relationships

-  Notes
(0011449)
lpw25 (developer)
2014-05-13 20:49
edited on: 2014-05-13 20:50

I forgot to account for the changes to parmatch.ml from 0006384. The attached patch fixes it.

Could someone please merge this for me?

(0011450)
garrigue (manager)
2014-05-14 06:07

Applied patch in trunk and 4.02, at revisions 14859 and 14860.

- Issue History
Date Modified Username Field Change
2014-05-13 16:19 frisch New Issue
2014-05-13 20:47 lpw25 File Added: fix-parmatch.diff
2014-05-13 20:48 lpw25 File Deleted: fix-parmatch.diff
2014-05-13 20:48 lpw25 File Added: fix-parmatch.diff
2014-05-13 20:49 lpw25 Note Added: 0011449
2014-05-13 20:50 lpw25 Note Edited: 0011449 View Revisions
2014-05-14 06:07 garrigue Note Added: 0011450
2014-05-14 06:07 garrigue Status new => resolved
2014-05-14 06:07 garrigue Fixed in Version => 4.02.0+dev
2014-05-14 06:07 garrigue Resolution open => fixed
2014-05-14 06:07 garrigue Assigned To => garrigue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker