diff options
| author | Matthieu Sozeau | 2014-06-26 14:11:05 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-26 14:11:05 +0200 |
| commit | dd33100f78b738e0268e3a65040a1b3ee9b3facf (patch) | |
| tree | 97dd1f47a9bf2e3182a476750fccc8b26af45053 /kernel | |
| parent | 4cd36df8879ae02639b3c8cf3712df6296e68a4c (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
