diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-06 13:34:25 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-06 15:42:24 +0000 |
| commit | f81f82eec0123e16bfa8677117107c3f3c4f0fe0 (patch) | |
| tree | 82df1b09af9443bf84da1d0c52b6a08960d19156 | |
| parent | e7523fe73e938956aa31ad07a97e9f8ef87a4e0c (diff) | |
| download | haskell-f81f82eec0123e16bfa8677117107c3f3c4f0fe0.tar.gz | |
Comments and white space only
| -rw-r--r-- | compiler/typecheck/TcRnTypes.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index 83f9a40351..db326d6b28 100644 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -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 |