Commit d7d6e9b3 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Remove unneeded code in clean_variable that was wrong when cleaning up arrow types.

parent 0b1961d9
......@@ -2707,15 +2707,15 @@ module Positive = struct
let clean_type delta t =
if no_var t then t else
let t = clean_variables delta t in
let arrow_t, non_arrow_t =
clean_variables delta t
(*let arrow_t, non_arrow_t =
{ empty with arrow = t.arrow },
{ t with arrow = empty.arrow }
in
let _, u_arrow = Arrow.get arrow_t in
List.fold_left (fun acc i_arrow ->
let res = List.fold_left (fun acc i_arrow ->
T.cup acc (
let conj_arrow =
let conj_arrow =
List.fold_left (fun acc (dom, cdom) ->
let indiv_arrow = T.arrow (T.cons dom) (T.cons cdom) in
DescrSList.add indiv_arrow acc
......@@ -2723,7 +2723,8 @@ module Positive = struct
in
DescrSList.fold (T.cap) T.any conj_arrow
)
) non_arrow_t u_arrow
) non_arrow_t u_arrow *)
end
......
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