Commit cbd9278c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 7c8ffd3d
...@@ -282,7 +282,7 @@ Deciding which equalities to quantify over is tricky: ...@@ -282,7 +282,7 @@ Deciding which equalities to quantify over is tricky:
F is a type function. F is a type function.
The difficulty is that it's hard to tell what is insoluble! The difficulty is that it's hard to tell what is insoluble!
So we see whether the simplificaiotn step yielded any type errors, So we see whether the simplification step yielded any type errors,
and if so refrain from quantifying over *any* equalities. and if so refrain from quantifying over *any* equalities.
-} -}
......
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