Commit b1031486 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-11-25 11:16:06 by beppe] Modified error message

Original author: beppe
Date: 2003-11-25 11:16:06+00:00
parent 7306c285
......@@ -935,7 +935,7 @@ let rec expr env loc = function
let x = U.to_string (Id.value x) in
warning br_loc
("The capture variable " ^ x ^
" is declared in the pattern but not used in the body of this branch. It might be a misspelled type or name (if not use _ instead)."));
" is declared in the pattern but not used in the body of this branch. It might be a misspelled or undeclared type or name (if it isn't, use _ instead)."));
let fv2 = Fv.diff fv2 (Patterns.fv p) in
fv := Fv.cup !fv fv2;
accept := Types.cup !accept (Types.descr (Patterns.accept p));
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment