diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-03 11:34:33 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-03 11:34:33 +0000 |
| commit | 76b16e44285d06236b9c00e24659138c376d54f3 (patch) | |
| tree | 03bb85046c204828901f26d84e2196c37abaa7f2 /parsing | |
| parent | f20dbafa3e49c35414640e01c3549ad1c802d331 (diff) | |
modules profile, Coqinit et Coqtop (=main)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/lexer.mli | 2 | ||||
| -rw-r--r-- | parsing/lexer.mll | 2 | ||||
| -rw-r--r-- | parsing/printer.mli | 2 |
3 files changed, 6 insertions, 0 deletions
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 |