36
36
let warning s = Printf.fprintf stderr "warning: %s\n" s
38
let promote name = (name,(),Ast0.default_info(),(),None)
38
let promote name = (name,(),Ast0.default_info(),(),None,-1)
40
40
(* --------------------------------------------------------------------- *)