extraction vers scheme

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2771 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 21 deletions

diff --git a/contrib/extraction/table.ml b/contrib/extraction/table.ml
index ee7267f3f6..ff41f6528a 100644
--- a/contrib/extraction/table.ml
+++ b/contrib/extraction/table.ml
@@ -67,29 +67,9 @@ let check_constant r =
   else errorlabstrm "extract_constant"
 	(Printer.pr_global r ++ spc () ++ str "is not a constant.") 
 
-(*
-let string_of_varg = function
-  | VARG_IDENTIFIER id -> string_of_id id
-  | VARG_STRING s -> s
-  | _ -> assert false
-*)
-
-let no_such_reference q =
-  errorlabstrm "reference_of_varg" 
-    (str "There is no such reference " ++ Nametab.pr_qualid q ++ str ".")
-
-(*
-let reference_of_varg = function
-  | VARG_QUALID q -> 
-      (try Nametab.locate q with Not_found -> no_such_reference q)
-  | _ -> assert false
-
-let refs_of_vargl = List.map reference_of_varg
-*)
-
 (*s Target Language *)
 
-type lang = Ocaml | Haskell | Toplevel
+type lang = Ocaml | Haskell | Scheme | Toplevel
 
 let lang_ref = ref Ocaml