diff options
| author | Matthieu Sozeau | 2014-09-12 21:03:06 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-15 12:16:52 +0200 |
| commit | fb5d74bb3f5a46e918877bd9c5b14dbcdc220430 (patch) | |
| tree | 1cab041a8b43078d47cbc9375c67b09eacde8ed0 /interp/implicit_quantifiers.ml | |
| parent | 019c0fc0f996fa349e2d82feb97feddade5ea789 (diff) | |
Rework typeclass resolution and control of backtracking.
Add a global option to check for multiple solutions and fail in that
case.
Add another flag to declare classes as having unique instances (not
checked but assumed correct, avoiding some backtracking).
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions