You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4602 Reporter:@Chris00 Status: closed (set by @diml on 2016-12-07T17:25:10Z) Resolution: suspended Priority: normal Severity: minor Version: 3.10.2 Target version: 4.00.1+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
When using the quotations in the original syntax, <:str_item< let x = 1 >> is transformed into
Original bug ID: 4602
Reporter: @Chris00
Status: closed (set by @diml on 2016-12-07T17:25:10Z)
Resolution: suspended
Priority: normal
Severity: minor
Version: 3.10.2
Target version: 4.00.1+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
When using the quotations in the original syntax, <:str_item< let x = 1 >> is transformed into
Camlp4.PreCast.Syntax.Ast.StSem (,
Camlp4.PreCast.Syntax.Ast.StVal (, Camlp4.PreCast.Syntax.Ast.BFalse,
Camlp4.PreCast.Syntax.Ast.BiEq (,
Camlp4.PreCast.Syntax.Ast.PaId (,
Camlp4.PreCast.Syntax.Ast.IdLid (, "x")),
Camlp4.PreCast.Syntax.Ast.ExInt (, "1"))),
Camlp4.PreCast.Syntax.Ast.StNil )
(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 >>
The text was updated successfully, but these errors were encountered: