Commit 8c8bb218 authored by Andrei Paskevich's avatar Andrei Paskevich

Detect_polymorphism: type aliases are irrelevant

parent 6b28b635
......@@ -44,7 +44,9 @@ let meta_monomorphic_types_only =
let check_ts ign_ts ts =
ts.Ty.ts_args <> [] && not (Ty.Sts.mem ts ign_ts)
ts.Ty.ts_args <> [] &&
ts.Ty.ts_def = None &&
not (Ty.Sts.mem ts ign_ts)
let check_ls ign_ls ls =
not (Term.Sls.mem ls ign_ls) &&
......
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