diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-01-27 16:27:05 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-01-27 16:27:05 +0000 |
| commit | 9de0cd21fdacf060fe00d35c1951c7b353545c56 (patch) | |
| tree | 3c1e84d682f52265e2687b142d3dece0c45477ba /typing/includemod.ml | |
| parent | 6a296a026e65c0d589571bba7f5ceacbbf0b6973 (diff) | |
| download | ocaml-9de0cd21fdacf060fe00d35c1951c7b353545c56.tar.gz | |
#6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/includemod.ml')
0 files changed, 0 insertions, 0 deletions