Commit 77974922 authored by Richard Eisenberg's avatar Richard Eisenberg Committed by Ben Gamari

Some refactoring in tcInferApps

Should be no change in behavior, but this makes the control
flow a little more apparent.
parent 79a5afb6
This diff is collapsed.
......@@ -551,6 +551,9 @@ isNamedBinder (Anon {}) = False
-- | If its a named binder, is the binder a tyvar?
-- Returns True for nondependent binder.
-- This check that we're really returning a *Ty*Binder (as opposed to a
-- coercion binder). That way, if/when we allow coercion quantification
-- in more places, we'll know we missed updating some function.
isTyBinder :: TyCoBinder -> Bool
isTyBinder (Named bnd) = isTyVarBinder bnd
isTyBinder _ = True
......
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