diff options
| author | charguer | 2018-01-19 08:39:05 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-09 13:31:09 +0100 |
| commit | 1274261b6ac020468ac6f24d68de723ae1259c42 (patch) | |
| tree | d16180a6e649b9e0cf2b8e74f56e9f33e2de1fec /kernel/type_errors.ml | |
| parent | 22bf4efd61b916abc81e41bbe70428e534dd0013 (diff) | |
added test for coercion from type
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions