Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005788OCamlOCaml generalpublic2012-10-12 21:442013-12-05 12:12
Reporterlpw25 
Assigned Tomaranget 
PrioritynormalSeveritymajorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target Version4.02.0+devFixed in Version 
Summary0005788: Exception rebinding breaks pattern matching
DescriptionIt seems that pattern matching does not allow for the possibility of exceptions being rebound.

This can be demonstrated with the following code:

  # exception Foo;;
  exception Foo
  # exception Bar = Foo;;
  exception Bar
  # let test e b =
      match e, b with
        Foo, true -> 1
      | Bar, false -> 2
      | _, _ -> 3;;
          val test : exn -> bool -> int = <fun>
  # test Bar false;;
  - : int = 3
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0009432)
maranget (manager)
2013-06-07 15:37

Nice trick
--Luc
(0009496)
frisch (developer)
2013-06-14 14:20

I mark this issue as major (mis-compilation).
(0009679)
maranget (manager)
2013-07-02 18:06

I have just commited a tentative patch in trunk.
--Luc

- Issue History
Date Modified Username Field Change
2012-10-12 21:44 lpw25 New Issue
2013-01-03 16:39 doligez Status new => confirmed
2013-01-03 16:39 doligez Target Version => 4.00.2+dev
2013-01-03 16:39 doligez Description Updated View Revisions
2013-06-07 15:23 xleroy Assigned To => maranget
2013-06-07 15:23 xleroy Status confirmed => assigned
2013-06-07 15:37 maranget Note Added: 0009432
2013-06-14 14:20 frisch Note Added: 0009496
2013-06-14 14:20 frisch Severity minor => major
2013-06-14 14:20 frisch Target Version 4.00.2+dev => 4.01.0+dev
2013-07-02 18:06 maranget Note Added: 0009679
2013-07-02 18:08 maranget Assigned To maranget => lpw25
2013-07-02 18:09 maranget Assigned To lpw25 => maranget
2013-07-02 18:09 maranget Status assigned => confirmed
2013-07-02 18:10 maranget Resolution open => fixed
2013-07-16 11:32 doligez Target Version 4.01.0+dev => 4.02.0+dev
2013-10-10 17:41 frisch Status confirmed => resolved


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker