Commit 8abfda62 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-09-22 13:21:34 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-22 13:21:34+00:00
parent 63a8239e
......@@ -772,7 +772,7 @@ let rec expr glb loc = function
let x = U.to_string (Id.value x) in
warning br_loc
("The capture variable " ^ x ^
" is not used in this branch. It might be a misspelled type name."));
" is declared in the pattern but not used in the body of this branch. It might be a misspelled type or name."));
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