aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorMatthieu Sozeau2015-01-15 18:03:46 +0530
committerMatthieu Sozeau2015-01-18 00:16:42 +0530
commit31477429d331a5ba1cb9d2594f37ebee6ec7d236 (patch)
tree60b4330691ea36ee1a63935ab661c55d5cd1c389 /kernel
parentfba4421cf44db4cc95c660e54e030402e2edbef8 (diff)
Add a (by default deactivated) option to force typeclass resolution to
respect dependencies between typeclass goals, trying to solve the least dependent ones first.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions