Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006334OCamlCamlp4public2014-03-03 12:282014-03-04 11:09
Reportersowa 
Assigned Todim 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006334: FreeVars module treats a record field name as a variable.
DescriptionCamlp4.Struct.FreeVars module treats a record field name as a variable name.
For example, FreeVars reports that <:expr<r.name>> has free variables "r" and "name"; <:expr<let name=0 in r.name>> has free variable "r".
Steps To Reproduce$ ocaml -I +camlp4
        OCaml version 4.01.0

# #load "dynlink.cma";;
# #load "camlp4orf.cma";;
    Camlp4 Parsing version 4.01.0

# open Camlp4.PreCast;;
# let _loc = Loc.ghost;;
val _loc : Camlp4.PreCast.Loc.t = <abstr>
# let fv e = let module FV = Camlp4.Struct.FreeVars.Make(Ast) in FV.S.elements (FV.free_vars FV.S.empty e);;
val fv : Camlp4.PreCast.Ast.expr -> string list = <fun>
# fv <:expr<r.name>>;;
- : string list = ["name"; "r"]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010984)
dim (developer)
2014-03-03 12:54

Could you please move this ticket to https://github.com/ocaml/camlp4? [^]

Thanks
(0010988)
sowa (reporter)
2014-03-04 04:58

Moved this issue to https://github.com/ocaml/camlp4. [^]

- Issue History
Date Modified Username Field Change
2014-03-03 12:28 sowa New Issue
2014-03-03 12:54 dim Note Added: 0010984
2014-03-04 04:58 sowa Note Added: 0010988
2014-03-04 11:09 dim Status new => closed
2014-03-04 11:09 dim Assigned To => dim
2014-03-04 11:09 dim Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker