59 lines
2.1 KiB
OCaml
59 lines
2.1 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* OCaml *)
|
|
(* *)
|
|
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
|
|
(* *)
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique. *)
|
|
(* *)
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
(* Auxiliary functions for parsing *)
|
|
|
|
type error =
|
|
Unbound of string
|
|
|
|
exception Error of error
|
|
|
|
let tbl_ident = (Hashtbl.create 57 : (string, Backend_var.t) Hashtbl.t)
|
|
let tbl_label = (Hashtbl.create 57 : (string, int) Hashtbl.t)
|
|
|
|
let ident_name s =
|
|
match String.index s '/' with
|
|
| exception Not_found -> s
|
|
| n -> String.sub s 0 n
|
|
|
|
let bind_ident s =
|
|
let id = Backend_var.create_local (ident_name s) in
|
|
Hashtbl.add tbl_ident s id;
|
|
Backend_var.With_provenance.create id
|
|
|
|
let find_ident s =
|
|
try
|
|
Hashtbl.find tbl_ident s
|
|
with Not_found ->
|
|
raise(Error(Unbound s))
|
|
|
|
let unbind_ident id =
|
|
Hashtbl.remove tbl_ident (Backend_var.With_provenance.name id)
|
|
|
|
let find_label s =
|
|
try
|
|
Hashtbl.find tbl_label s
|
|
with Not_found ->
|
|
let lbl = Lambda.next_raise_count () in
|
|
Hashtbl.add tbl_label s lbl;
|
|
lbl
|
|
|
|
let report_error = function
|
|
Unbound s ->
|
|
prerr_string "Unbound identifier "; prerr_string s; prerr_endline "."
|
|
|
|
let debuginfo ?(loc=Location.symbol_rloc ()) () =
|
|
Debuginfo.(from_location (Scoped_location.of_location ~scopes:[] loc))
|