| Anonymous | Login | Signup for a new account | 2013-05-25 17:54 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005729 | OCaml | OCaml tools (ocaml{lex,yacc,dep,browser}) | public | 2012-08-16 09:14 | 2012-11-06 13:42 | |||||||
| Reporter | furuse | |||||||||||
| Assigned To | lefessan | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | 4.00.0 | |||||||||||
| Target Version | 4.00.1+dev | Fixed in Version | 4.00.1+dev | |||||||||
| Summary | 0005729: tools/untypeast.ml creates unary Pexp_tuple | |||||||||||
| Description | There is a bug of `untyping' unary variant constructor, which creates unary tuple Parsetree node, which never appear in legal OCaml programs AFAIK. This is found when I wrote a modified ocamlc which tries to retype once typed source code using Untypeast. | |||||||||||
| Additional Information | *** ../../ocaml/ocaml-custom/tools/untypeast.ml Thu Aug 16 15:11:41 2012 --- untypeast.ml Thu Aug 16 15:11:16 2012 *************** This simple patch fix the problem: *** 225,230 **** --- 225,231 ---- Pexp_construct (lid, (match args with [] -> None + | [arg] -> Some (untype_expression arg) | args -> Some { pexp_desc = Pexp_tuple (List.map untype_expression args); pexp_loc = exp.exp_loc; } | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-08-16 09:14 | furuse | New Issue | |
| 2012-09-06 16:43 | doligez | Target Version | => 4.00.1+dev |
| 2012-09-27 18:50 | lefessan | Note Added: 0008174 | |
| 2012-09-27 18:50 | lefessan | Status | new => resolved |
| 2012-09-27 18:50 | lefessan | Fixed in Version | => 4.00.1+dev |
| 2012-09-27 18:50 | lefessan | Resolution | open => fixed |
| 2012-09-27 18:50 | lefessan | Assigned To | => lefessan |
| 2012-11-06 13:42 | gasche | Relationship added | related to 0005811 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |