Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004052OCamlOCaml generalpublic2006-06-21 10:512008-01-22 18:09
Reporterfrisch 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.11+dev 
Summary0004052: Constructeur constant et _
DescriptionMini 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 InformationC'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 ?
TagsNo tags attached.
Attached Files

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

-  Notes
(0004436)
doligez (administrator)
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
Powered by Mantis Bugtracker