0000020: Variant pattern matching compilation

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000020

OCaml

OCaml general

public

2000-01-11 10:39

2000-01-11 10:41

Reporter

administrator

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000020: Variant pattern matching compilation

Description

Full_Name: Jerome Vouillon
Version: 2.99
OS:
Submission from: tet.kurims.kyoto-u.ac.jp (130.54.16.184)
Submitted by: garrigue

Il y a galement quelques problmes au niveau de la compilation du
pattern matching :
    mistral-jerome:~> ocaml
    ...
    # let f x y = match x, y with `A, (`B v) -> v;;
    # f `A (`B 10);;
    zsh: segmentation fault ocaml

    mistral-jerome:~> ocaml
    ...
    # let f `A = ();;
    # let rec h x = g x; f x and g x = match x with `A -> () | `B -> ();;
    Uncaught exception: Not_found

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

Notes
(0000295) administrator (administrator) 2000-01-11 10:41	Fixed in 3.00

Relationships