Commit 583b5c10 authored by Andrei Paskevich's avatar Andrei Paskevich

fix an insufficient check in Discriminate.Lsmap.add

parent 490af484
......@@ -57,7 +57,7 @@ module Lsmap = struct
let add ls tyl tyv lsmap =
if ls_equal ls ps_equ then lsmap else
if not (List.for_all Ty.ty_closed tyl) then lsmap else
if not (List.for_all Ty.ty_closed (oty_cons tyl tyv)) then lsmap else
let newls = function
| None -> Some (create_lsymbol (id_clone ls.ls_name) tyl tyv)
| nls -> nls
......
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