0005788: Exception rebinding breaks pattern matching

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005788

OCaml

OCaml general

public

2012-10-12 21:44

2013-01-03 16:39

Reporter

lpw25

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

confirmed

Resolution

open

Platform

OS Version

Product Version

4.00.0

Target Version

4.00.2+dev

Fixed in Version

Summary

0005788: Exception rebinding breaks pattern matching

Description

It 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

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

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