Commit 51e0a382 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 3dec9236
...@@ -1075,6 +1075,7 @@ bindTv env tv1 ty2 ...@@ -1075,6 +1075,7 @@ bindTv env tv1 ty2
; checkRnEnvR env free_tvs2 ; checkRnEnvR env free_tvs2
-- Occurs check, see Note [Fine-grained unification] -- Occurs check, see Note [Fine-grained unification]
-- Make sure you include 'kco' (which ty2 does) Trac #14846
; occurs <- occursCheck env tv1 free_tvs2 ; occurs <- occursCheck env tv1 free_tvs2
; if occurs then maybeApart ; if occurs then maybeApart
......
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