Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004602OCamlCamlp4public2008-08-24 10:592012-09-17 13:19
ReporterChristophe Troestler 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionsuspended 
PlatformOSOS Version
Product Version3.10.2 
Target Version4.00.1+devFixed in Version 
Summary0004602: <:str_item< let $lid:id$ = $e$ >> in patterns
DescriptionWhen using the quotations in the original syntax, <:str_item< let x = 1 >> is transformed into

Camlp4.PreCast.Syntax.Ast.StSem (<abstr>,
 Camlp4.PreCast.Syntax.Ast.StVal (<abstr>, Camlp4.PreCast.Syntax.Ast.BFalse,
  Camlp4.PreCast.Syntax.Ast.BiEq (<abstr>,
   Camlp4.PreCast.Syntax.Ast.PaId (<abstr>,
    Camlp4.PreCast.Syntax.Ast.IdLid (<abstr>, "x")),
   Camlp4.PreCast.Syntax.Ast.ExInt (<abstr>, "1"))),
 Camlp4.PreCast.Syntax.Ast.StNil <abstr>)

(which is fine). However, when used in a pattern, <:str_item< let $lid:id$ = $e$ >> should be transformed into

Ast.StVal (_, Ast.BFalse,
           (Ast.BiEq (_, (Ast.PaId (_, (Ast.IdLid (_, id)))), e)))

instead of the current

Ast.StSem (_,
      (Ast.StVal (_, Ast.BFalse,
         (Ast.BiEq (_, (Ast.PaId (_, (Ast.IdLid (_, id)))), e)))),
      (Ast.StNil _))

Indeed the latter will not match [let x = 1] in <:str_item< let x = 1 let y = 2 >>
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007970)
hongboz (developer)
2012-08-22 12:53

Should this be closed? I can not reproduce it.
(0008084)
doligez (administrator)
2012-09-17 13:19

I can't reproduce this either. Camlp4 now generates a StVal-rooted tree for both expression and pattern.

- Issue History
Date Modified Username Field Change
2008-08-24 10:59 Christophe Troestler New Issue
2008-09-10 14:56 doligez Status new => assigned
2008-09-10 14:56 doligez Assigned To => ertai
2012-07-11 15:02 doligez Assigned To ertai =>
2012-07-11 15:02 doligez Status assigned => acknowledged
2012-07-11 15:02 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-08-22 12:53 hongboz Note Added: 0007970
2012-09-17 13:19 doligez Note Added: 0008084
2012-09-17 13:19 doligez Status acknowledged => resolved
2012-09-17 13:19 doligez Resolution open => suspended


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker