Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005811OCamlMiscpublic2012-11-06 12:482013-01-03 17:08
Reporterturpin 
Assigned To 
PrioritylowSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target Version4.00.2+devFixed in Version 
Summary0005811: Untypeast produces singleton tuples for constructor patterns with only one argument
DescriptionThis can only be seen on the ast (unparsing does not show the generated tuple). I have attached the patch (trivial)
TagsNo tags attached.
Attached Filespatch file icon untypeast.patch [^] (439 bytes) 2012-11-06 12:48 [Show Content]

- Relationships
related to 0005728acknowledged Better handling of unary tuple type 
related to 0005729resolvedlefessan tools/untypeast.ml creates unary Pexp_tuple 

-  Notes
(0008426)
gasche (developer)
2012-11-06 13:43

We're starting to have reports of this kind of nonsensical-AST problems. It might be useful to have a look at the larger picture (eg. a well-structured check for ASTs that could be used to dynamically check our tools as well as user-written passes).

- Issue History
Date Modified Username Field Change
2012-11-06 12:48 turpin New Issue
2012-11-06 12:48 turpin File Added: untypeast.patch
2012-11-06 13:41 gasche Relationship added related to 0005728
2012-11-06 13:42 gasche Relationship added related to 0005729
2012-11-06 13:43 gasche Note Added: 0008426
2013-01-03 17:08 doligez Status new => acknowledged
2013-01-03 17:08 doligez Product Version => 4.00.1
2013-01-03 17:08 doligez Target Version => 4.00.2+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker