let map_attribute =
function
- `Loc (n,m) ->
+ `Loc floc ->
+ let (n, m) = CicAst.loc_of_floc floc in
(Some "helm","loc",(string_of_int n)^" "^(string_of_int m))
| `IdRef s ->
(Some "helm","xref",s)
Box.smallskip;
make_pattern constr vars;
Box.smallskip;
- Box.Text([],"\Rightarrow")]);
+ Box.Text([],"\\Rightarrow")]);
Box.indent (bigast2box rhs)])
else
Box.H([],[Box.Text([],sep);
Box.smallskip;
make_pattern constr vars;
Box.smallskip;
- Box.Text([],"\Rightarrow");
+ Box.Text([],"\\Rightarrow");
Box.smallskip;
Box.Object([],rhs)]) in
let plbox = match pl with
[Box.Text([],start_txt);
Box.Text([],varname);
Box.smallskip;
- Box.Text([],"\Assign")
+ Box.Text([],"\\Assign")
]
body
[Box.Text([],end_txt)]