Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000342OCamlOCaml generalpublic2001-04-18 17:362001-04-23 11:27
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000342: Uncaught exception (bug) in Matcher
DescriptionFull_Name: Jean-Marc Eber
Version: 3.01
OS: linux
Submission from: 212.155.146.148 (212.155.146.148)


        Objective Caml version 3.01

# type t = {x:float; y: float; z:bool}

let f = function
  | {x=a; z=true}
  | {y=a; z=false} -> a
          ;;
>> Fatal error: Matching.filter_ctx
Uncaught exception: Misc.Fatal_error

C'est probablement déjà un problème rencontré, rapporté, mais je le répète
quand même.

Cordialement, (Vive OCaml!)

Jean-Marc Eber

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000562)
administrator (administrator)
2001-04-23 11:25

>
> Full_Name: Jean-Marc Eber
> Version: 3.01
> OS: linux
> Submission from: 212.155.146.148 (212.155.146.148)
>
>
> Objective Caml version 3.01
>
> # type t = {x:float; y: float; z:bool}
>
> let f = function
> | {x=a; z=true}
> | {y=a; z=false} -> a
> ;;
> >> Fatal error: Matching.filter_ctx
> Uncaught exception: Misc.Fatal_error
>
> C'est probablement déjà un problème rencontré, rapporté, mais je le répète
> quand même.
>
> Cordialement, (Vive OCaml!)
>
> Jean-Marc Eber
>
>

C'est bien un bug.

Il est en cours de correction dans la version de developpement.

En attendant, on peut tourner autour de ce bug bien malheureux en
écrivant.

 let f = function
   | {x=a; y=_; z=true}
   | {x=_; y=a; z=false} -> a

Merci d'avoir dénoncé ce bug...


--Luc Maranget

---------- English summary. -----------

This is a bug. It is being corrected, a workaround is writing:


let f = function
| {x=a; y=_; z=true}
| {x=_; y=a; z=false} -> a

(0000563)
administrator (administrator)
2001-04-23 11:27

Fixed by Luc on 04/23/2001


- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker