Commit 5b20b800 authored by POTTIER Francois's avatar POTTIER Francois

Renamed [fresha] to [copy].

parent 2c528d10
......@@ -81,9 +81,9 @@ let fresh hint =
and hint = share (remove_trailing_digits hint) in
{ identity; hint }
(* [fresha a] returns a fresh atom modeled after the atom [a]. *)
(* [copy a] returns a fresh atom modeled after the atom [a]. *)
let fresha a =
let copy a =
fresh a.hint
(* -------------------------------------------------------------------------- *)
......
......@@ -15,7 +15,7 @@ val print: out_channel -> atom -> unit
(* Producing fresh atoms. *)
val fresh: string -> atom
val fresha: atom -> atom
val copy: atom -> atom
(* Comparison of atoms. *)
......
......@@ -17,7 +17,7 @@ let lookup env x =
let extend x env =
(* Generate a fresh copy of [x]. *)
let x' = Atom.fresha x in
let x' = Atom.copy x in
(* Extend [env] when descending in the body. *)
x', Atom.Map.add x x' env
......
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