| Layout l -> aux_layout l
| Magic m -> aux_magic m
| Variable v -> aux_variable v
- | t -> prerr_endline (CicNotationPp.pp_term t); assert false
+ | t ->
+ prerr_endline (CicNotationPp.pp_term t);
+ assert false
and aux_literal =
function
`Symbol s -> [NoBinding, symbol s]
[NoBinding, symbol "\\ROOT"] @ aux p2 @ [NoBinding, symbol "\\OF"] @
aux p1
| Sqrt p -> [NoBinding, symbol "\\SQRT"] @ aux p
- | Break -> []
+(* | Break -> [] *)
| Box (_, pl) -> List.flatten (List.map aux pl)
and aux_magic magic =
match magic with
let (p_bindings, p_atoms, p_names, p_action) = inner_pattern p in
let env0 = List.map list_binding_of_name p_names in
let grow_env_entry env n v =
- prerr_endline "grow_env_entry";
List.map
(function
n', (ty, ListValue vl) as entry ->
env
in
let grow_env env_i env =
- prerr_endline "grow_env";
List.fold_left (fun env (n, (_, v)) -> grow_env_entry env n v) env
env_i
in
let action (env_list : env_type list) (loc : location) =
- prerr_endline "list action"; List.fold_right grow_env env_list env0
+ List.fold_right grow_env env_list env0
in
let g_symbol s =
match magic with
and inner_pattern p =
let (p_bindings, p_atoms) = List.split (aux p) in
let p_names = flatten_opt p_bindings in
- let _ =
- prerr_endline
- ("inner names: " ^ String.concat " " (List.map fst p_names))
- in
let action =
make_action
- (fun (env : env_type) (loc : location) ->
- prerr_endline "inner action"; env)
+ (fun (env : env_type) (loc : location) -> env)
p_bindings
in
p_bindings, p_atoms, p_names, action
let level = level_of_int precedence in
let p_names = flatten_opt p_bindings in
let _ =
- prerr_endline (string_of_int (List.length p_bindings));
Grammar.extend
[Grammar.Entry.obj (l2_pattern : 'a Grammar.Entry.e),
Some (Gramext.Level level),