Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixed bug in parmatch.ml 

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Le Normand 2010-11-08 10:19:29 +00:00
parent 36734b7536
commit 4a4e69bf1b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/parmatch.ml
View File

@ -1879,10 +1879,10 @@ let do_check_partial ?pred exhaust loc casel pss = match pss with
end
let do_check_partial_normal loc casel pss =
do_check_partial exhaust_gadt loc casel pss
do_check_partial exhaust loc casel pss
let do_check_partial_gadt pred loc casel pss =
do_check_partial ~pred exhaust loc casel pss
do_check_partial ~pred exhaust_gadt loc casel pss