PR#63
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
de30e68b5d
commit
2570312432
|
@ -77,4 +77,4 @@ let catch_break on =
|
|||
|
||||
(* OCaml version string, must be in the format described in sys.mli. *)
|
||||
|
||||
let ocaml_version = "3.06+15 (2002-11-04)";;
|
||||
let ocaml_version = "3.06+16 (2002-11-04)";;
|
||||
|
|
|
@ -361,7 +361,7 @@ extern void terminal_start (char *s);
|
|||
extern void tokenized_start (char *s);
|
||||
extern void too_many_entries (void);
|
||||
extern void undefined_goal (char *s);
|
||||
extern void undefined_symbol_warning (char *s);
|
||||
extern void undefined_symbol (char *s);
|
||||
extern void unexpected_EOF (void);
|
||||
extern void unknown_rhs (int i);
|
||||
extern void unterminated_action (int a_lineno, char *a_line, char *a_cptr);
|
||||
|
|
|
@ -288,10 +288,10 @@ void undefined_goal(char *s)
|
|||
done(1);
|
||||
}
|
||||
|
||||
|
||||
void undefined_symbol_warning(char *s)
|
||||
void undefined_symbol(char *s)
|
||||
{
|
||||
fprintf(stderr, "%s: w - the symbol %s is undefined\n", myname, s);
|
||||
fprintf(stderr, "%s: e - the symbol %s is undefined\n", myname, s);
|
||||
done(1);
|
||||
}
|
||||
|
||||
|
||||
|
|
|
@ -1516,7 +1516,7 @@ void check_symbols(void)
|
|||
{
|
||||
if (bp->class == UNKNOWN)
|
||||
{
|
||||
undefined_symbol_warning(bp->name);
|
||||
undefined_symbol(bp->name);
|
||||
bp->class = TERM;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue