comments
This commit is contained in:
parent
c080982044
commit
5ebb404276
|
@ -61,7 +61,7 @@ and lambda = {
|
|||
}
|
||||
|
||||
|
||||
(* lower *)
|
||||
(* env *)
|
||||
|
||||
module Env = struct
|
||||
type t =
|
||||
|
@ -98,12 +98,16 @@ module Env = struct
|
|||
end
|
||||
end
|
||||
|
||||
(* utils *)
|
||||
|
||||
let seq_r a b = Seq (b, a)
|
||||
|
||||
let union xs ys =
|
||||
List.sort_uniq compare
|
||||
List.sort_uniq (compare : id -> id -> int)
|
||||
(List.rev_append ys xs)
|
||||
|
||||
(* lower *)
|
||||
|
||||
let lower ~lib (modl : Ast.modl) =
|
||||
let new_id = make_id_dispenser () in
|
||||
|
||||
|
|
Loading…
Reference in New Issue