Commit - fedora-ocaml - 9de0cd21fdacf060fe00d35c1951c7b353545c56

fedora-ocaml

`9de0cd2` #6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match.

Authored and Committed by Alain Frisch 10 years ago

raw patch tree parent

2 files changed. 9 lines added. 1 lines removed.

    #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

typing/typecore.ml

file modified

+8 -1

typing/typecore.mli

file modified

+1 -0

fedora-ocaml

Source Code

9de0cd2 #6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match.

Authored and Committed by Alain Frisch 10 years ago

`9de0cd2` #6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match.