diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-29 14:07:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-29 14:07:46 +0200 |
| commit | 23dab79a4e42856aa33816b9c79c3d4d79959cb9 (patch) | |
| tree | 42596603ce8e3ed731bbb670cdb7909ba7a253a3 /testsuite/tests/typing-gadts/unify_mb.ml | |
| parent | f11f82f18993f969be5cf5bc4a0c133a053949cb (diff) | |
| parent | f4fe66418d96a213bebc64b31a0f3657cc52509a (diff) | |
| download | ocaml-23dab79a4e42856aa33816b9c79c3d4d79959cb9.tar.gz | |
Merge pull request #12213 from shym/dynlink-exn-wraps
Improve legibility of dynamic linking error messages
Diffstat (limited to 'testsuite/tests/typing-gadts/unify_mb.ml')
0 files changed, 0 insertions, 0 deletions