diff options
| author | Pierre-Marie Pédrot | 2020-08-20 12:44:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-31 13:09:51 +0200 |
| commit | 80004f804ee88610d107c9b8a84d8413777f19b8 (patch) | |
| tree | 0ee1e3a9cf967f1204d269d3d8969db1f9c321a1 /dev | |
| parent | 9c9bf136430213eacec8e32ad4909cf501141a48 (diff) | |
Perform an inversion of control in hint validation for eapply.
We move the "verbose" case to the only point it is actually used.
It is a bit unfortunate since it implies a bit of code duplication, but
this should not affect runtime since the replaying only happens in case
of a user-facing warning.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions