Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit e03b0375 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Give more meaningful names to abstracted terms.

parent d36d163b
......@@ -28,7 +28,8 @@ let abstraction (keep : lsymbol -> bool) =
| _ ->
let t = t_attr_set Sattr.empty t in
let (ls, tabs) = try Hterm_nt_na.find term_table t with Not_found ->
let ls = create_lsymbol (id_fresh "abstr") [] t.t_ty in
let name = Format.asprintf "%a" Pretty.print_term t in
let ls = create_lsymbol (id_fresh name) [] t.t_ty in
let tabs = t_app ls [] t.t_ty in
Hterm_nt_na.add term_table t (ls, tabs);
ls, tabs in
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment