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

Comments and white space only

parent e7523fe7
......@@ -1624,7 +1624,7 @@ subGoalDepthExceeded (SubGoalDepth mc mf) (SubGoalDepth c f)
\end{code}
Note [Preventing recursive dictionaries]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
We have some classes where it is not very useful to build recursive
dictionaries (Coercible, at the moment). So we need the constraint solver to
prevent that. We conservatively ensure this property using the subgoal depth of
......
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