diff options
| author | Pierre-Marie Pédrot | 2015-05-15 14:26:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-05-15 14:26:35 +0200 |
| commit | 4944b5e72c0f4bfcf1ae140f810d8666dac3cf60 (patch) | |
| tree | 150ca7467f78254505edf46edf33247fade17170 /kernel | |
| parent | 3fb81febe8efc34860688cac88a2267cfe298cf7 (diff) | |
Make Coercion.inh_app_fun respect its specification.
It enhances bug #3527, as instead of raising an anomaly "Uncaught
exception Coercion.NoCoercion(_)", it now fails with a typing error.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions