From 76b16e44285d06236b9c00e24659138c376d54f3 Mon Sep 17 00:00:00 2001 From: filliatr Date: Fri, 3 Dec 1999 11:34:33 +0000 Subject: modules profile, Coqinit et Coqtop (=main) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7 --- parsing/lexer.mli | 2 ++ parsing/lexer.mll | 2 ++ parsing/printer.mli | 2 ++ 3 files changed, 6 insertions(+) (limited to 'parsing') diff --git a/parsing/lexer.mli b/parsing/lexer.mli index b8046716c..469e61393 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -1,6 +1,8 @@ (* $Id$ *) +exception BadToken of string + val add_keyword : string -> unit val is_keyword : string -> bool val find_keyword : string -> string diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 0eaa87f93..5cb993b26 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -9,6 +9,8 @@ type error = | Unterminated_comment | Unterminated_string +exception BadToken of string + exception Error of error * int * int type frozen_t = string list diff --git a/parsing/printer.mli b/parsing/printer.mli index 96f282cac..a87f15deb 100644 --- a/parsing/printer.mli +++ b/parsing/printer.mli @@ -22,6 +22,8 @@ val fterm0 : 'a assumptions -> constr -> std_ppcmds val term0 : 'a assumptions -> constr -> std_ppcmds val term0_at_top : 'a assumptions -> constr -> std_ppcmds +val pr_ne_env : std_ppcmds -> path_kind -> context -> std_ppcmds + val prrawterm : Rawterm.rawconstr -> std_ppcmds val prpattern : Rawterm.pattern -> std_ppcmds -- cgit v1.2.3