viewcvs.cgi/types/externals.ml

let has_ext = ref false

let has () = !has_ext

let register = 
  ref (fun _ _ _ -> 
         Location.raise_generic "No built-in support for ocaml externals")

let resolve s args =
  has_ext := true;
  !register true s args

let typ s args =
  snd (!register false s args)


1	let has_ext = ref false
2
3	let has () = !has_ext
4
5	let register =
6	ref (fun _ _ _ ->
7	Location.raise_generic "No built-in support for ocaml externals")
8
9	let resolve s args =
10	has_ext := true;
11	!register true s args
12
13	let typ s args =
14	snd (!register false s args)
15
16