Commit a0012992 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 626db8f8
......@@ -1683,7 +1683,7 @@ the range of the TvSubstEnv should *never* include a type headed with
CoercionTy.
Note [The substitution invariant]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When calling (substTy subst ty) it should be the case that
the in-scope set in the substitution is a superset of both:
......
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