0004052: Constructeur constant et _ - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004052

OCaml

OCaml general

public

2006-06-21 10:51

2008-01-22 18:09

Reporter

frisch

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

3.11+dev

Summary

0004052: Constructeur constant et _

Description

Mini feature-wish pour Camlp4.

Dans un pattern, on peut écrire (C _) pour n'importe quel constructeur C d'arité n sauf si n = 0. Lorsqu'on génère du code, ça oblige à distinguer les cas n = 0, n <> 0. Ça me semblerait plus uniforme d'autoriser (C _) même lorsque C est un constructeur constant.

Additional Information

C'est plutôt pour OCaml en général, vu que c'est le typeur qui verifie cela.

Cependant, je suis d'accord avec Alain sur ce l'utilité de ce type de patterns.

Qu'en pensez vous ?

Tags

No tags attached.

Relationships

parent of	0004717	closed		Ocaml does not warn about invalid wildcard uses
related to	0004675	closed		Compiler fails to warn about pattern Top _ when Top is a 0-ary constructor
related to	0004835	closed		None _ accepted as pattern match

Notes
(0004436) doligez (manager) 2008-01-22 18:09	implemente dans la branche 3.11

Issue History
Date Modified	Username	Field	Change
2006-06-21 10:51	frisch	New Issue
2006-06-21 11:43	ertai	Severity	minor => feature
2006-06-21 11:43	ertai	Category	Camlp4 => OCaml general
2006-06-21 11:43	ertai	Additional Information Updated
2006-08-29 17:25	doligez	Status	new => acknowledged
2008-01-22 18:09	doligez	Note Added: 0004436
2008-01-22 18:09	doligez	Status	acknowledged => closed
2008-01-22 18:09	doligez	Resolution	open => fixed
2008-01-22 18:09	doligez	Fixed in Version	=> 3.11+dev
2008-12-17 18:51	doligez	Relationship added	related to 0004675
2009-02-16 10:05	ertai	Relationship added	parent of 0004717
2009-07-15 15:07	xclerc	Relationship added	related to 0004835

Copyright © 2000 - 2011 MantisBT Group