| Anonymous | Login | Signup for a new account | 2013-05-24 06:25 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 | |||||||
| 0005649 | OCaml | Camlp4 | public | 2012-06-13 20:24 | 2012-06-14 00:41 | |||||||
| Reporter | hongboz | |||||||||||
| Assigned To | dim | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||||||
| Status | resolved | Resolution | no change required | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0005649: Camlp4 Ident quotation | |||||||||||
| Description | <:ident< Camlp4.Sig.MakeCamlp4Ast(Camlp4.PreCast.Loc).meta_bool >> ; - : Camlp4.PreCast.Ast.ident = IdApp (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "Sig")) (IdUid "MakeCamlp4Ast")) (IdAcc (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "PreCast")) (IdUid "Loc")) (IdLid "meta_bool")) I get the output as above. It's a bug or something I did not understand. In my opinion, its output should be something like this: (IdAcc (IdApp (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "Sig")) (IdUid "MakeCamlp4Ast")) (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "PreCast")) (IdUid "Loc"))) (IdLid "meta_bool")) | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0007559) dim (developer) 2012-06-14 00:40 |
> <:ident< Camlp4.Sig.MakeCamlp4Ast(Camlp4.PreCast.Loc).meta_bool >> ; > - : Camlp4.PreCast.Ast.ident = > IdApp > (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "Sig")) (IdUid "MakeCamlp4Ast")) > (IdAcc > (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "PreCast")) (IdUid "Loc")) > (IdLid "meta_bool")) This is the expected output for quotations in revised syntax. > In my opinion, its output should be something like this: > (IdAcc > (IdApp > (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "Sig")) (IdUid "MakeCamlp4Ast")) > (IdAcc (IdAcc (IdUid "Camlp4") (IdUid "PreCast")) (IdUid "Loc"))) > (IdLid "meta_bool")) This one is for quotations in original syntax. To get the same thing in revised syntax you must write: <:ident< (Camlp4.Sig.MakeCamlp4Ast Camlp4.PreCast.Loc).meta_bool >> |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-06-13 20:24 | hongboz | New Issue | |
| 2012-06-14 00:40 | dim | Note Added: 0007559 | |
| 2012-06-14 00:41 | dim | Assigned To | => dim |
| 2012-06-14 00:41 | dim | Status | new => resolved |
| 2012-06-14 00:41 | dim | Resolution | open => no change required |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |