diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-02 16:47:24 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-02 16:47:24 +0000 |
| commit | 8b063400b1aa5c14173f7d633d99e664709eb449 (patch) | |
| tree | ff3d59a6c9ff9d4d9295b56c106167d9840b33db /testasmcomp/parsecmmaux.mli | |
| parent | ad968b20a38a6d64f008be1ab03e3122f764abf3 (diff) | |
| download | ocaml-8b063400b1aa5c14173f7d633d99e664709eb449.tar.gz | |
Deplacement du parser de C-- ici.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@56 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testasmcomp/parsecmmaux.mli')
| -rw-r--r-- | testasmcomp/parsecmmaux.mli | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testasmcomp/parsecmmaux.mli b/testasmcomp/parsecmmaux.mli new file mode 100644 index 0000000000..c7920803ae --- /dev/null +++ b/testasmcomp/parsecmmaux.mli @@ -0,0 +1,12 @@ +(* Auxiliary functions for parsing *) + +val bind_ident: string -> Ident.t +val find_ident: string -> Ident.t +val unbind_ident: Ident.t -> unit + +type error = + Unbound of string + +exception Error of error + +val report_error: error -> unit |