diff options
| author | Kazuhiko Sakaguchi | 2021-03-08 18:10:51 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2021-03-09 18:10:28 +0900 |
| commit | b3a89604867e08b1d1d273fd386beba08584e8d8 (patch) | |
| tree | a06d245aa6af4416b7da6ae3966a4f75e0a8f0fe /pretyping/pretype_errors.ml | |
| parent | 4bbbaff29bb748800636c7c737fdbda3a2ee819d (diff) | |
Add the source and target classes to the coercion table
`coe_source` and `coe_target` fields of type `cl_typ` have been added to
`coe_info_typ` so that it allows querying the classes from a `GlobRef.t` of a
coercion. The `coercion` record has also been replaced with `coe_info_typ`.
Diffstat (limited to 'pretyping/pretype_errors.ml')
0 files changed, 0 insertions, 0 deletions