Commit cd7eaf51 authored by Kim Nguyễn's avatar Kim Nguyễn

Fix a stupid typo which made the constraint solver prefer monomorphic...

Fix a stupid typo which made the constraint solver prefer monomorphic variables over polymorphic ones.
This prevented one from applying a polymorphic function in the body of another function.
parent 2326bc5e
......@@ -3310,7 +3310,7 @@ module Tallying = struct
let toplevel delta single norm_rec mem p n =
let _compare delta v1 v2 =
let monov1 = Var.Set.mem delta v1 in
let monov2 = Var.Set.mem delta v1 in
let monov2 = Var.Set.mem delta v2 in
if monov1 == monov2 then
Var.compare v1 v2
else
......
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