Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005811OCamlMiscpublic2012-11-06 12:482013-06-17 10:53
Reporterturpin 
Assigned Tofrisch 
PrioritylowSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version4.01.0+dev 
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).
(0009501)
socrates1024 (reporter)
2013-06-14 20:53

I encountered this error while following along with this blog post about type-directed syntax extensions: https://bitbucket.org/camlspotter/compiler-libs-hack [^]
The patch solved the problem.
(0009533)
frisch (developer)
2013-06-17 10:53

Thanks! Fixed as suggested on 4.01 (commit 13792) and trunk (commit 13792).

- 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
2013-06-14 20:53 socrates1024 Note Added: 0009501
2013-06-17 10:49 frisch Assigned To => frisch
2013-06-17 10:49 frisch Status acknowledged => assigned
2013-06-17 10:53 frisch Note Added: 0009533
2013-06-17 10:53 frisch Fixed in Version => 4.01.0+dev
2013-06-17 10:53 frisch Target Version 4.00.2+dev =>
2013-06-17 10:53 frisch Status assigned => resolved
2013-06-17 10:53 frisch Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker