aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorMatthieu Sozeau2014-06-26 14:11:05 +0200
committerMatthieu Sozeau2014-06-26 14:11:05 +0200
commitdd33100f78b738e0268e3a65040a1b3ee9b3facf (patch)
tree97dd1f47a9bf2e3182a476750fccc8b26af45053 /kernel
parent4cd36df8879ae02639b3c8cf3712df6296e68a4c (diff)
Add an option to disable typeclass resolution during conversion, which
is has non-local effects. For now it is not disabled by default, but we'll try to disable it once the test-suite and contribs are stabilized.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions