0004602: <:str_item< let $lid:id$ = $e$ >> in patterns

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004602

OCaml

Camlp4

public

2008-08-24 10:59

2012-09-17 13:19

Reporter

Christophe Troestler

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

suspended

Platform

OS Version

Product Version

3.10.2

Target Version

4.00.1+dev

Fixed in Version

Summary

0004602: <:str_item< let $lid:id$ = $e$ >> in patterns

Description

When 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 >>

Tags

No 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 (manager) 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