diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-07 14:57:25 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-07 14:57:25 +0100 |
| commit | f6b4cc449e4531b61d20f9c5544db4a8bedb7d1c (patch) | |
| tree | 67c87bceb52648e95ba8e0f542f3d48f8123102f /src/pretty_typing.ml | |
| parent | 76c451e6fb2e5d6b377d79a85e807bb238803bc1 (diff) | |
| download | LPC-Projet-f6b4cc449e4531b61d20f9c5544db4a8bedb7d1c.tar.gz LPC-Projet-f6b4cc449e4531b61d20f9c5544db4a8bedb7d1c.zip | |
Reject casts from **A to **B, even if B is a superclass of A.
Diffstat (limited to 'src/pretty_typing.ml')
0 files changed, 0 insertions, 0 deletions