X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.ml;h=19c16d1305e89c3fdb0b734f370438eed5af5d38;hb=db020b4218272e2e35641ce3bc3b0a9b3afda899;hp=23c16cff28e620e388f259c15e4bf6a44e0face4;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/disambiguation/disambiguateTypes.ml b/matita/components/disambiguation/disambiguateTypes.ml
index 23c16cff2..19c16d130 100644
--- a/matita/components/disambiguation/disambiguateTypes.ml
+++ b/matita/components/disambiguation/disambiguateTypes.ml
@@ -25,6 +25,12 @@
 
 (* $Id$ *)
 
+type 'a expected_type = [ `XTNone       (* unknown *)
+                        | `XTSome of 'a (* the given term *) 
+		        | `XTSort       (* any sort *)
+		        | `XTInd        (* any (co)inductive type *)
+                        ]
+
 type domain_item =
   | Id of string               (* literal *)
   | Symbol of string * int     (* literal, instance num *)
@@ -47,10 +53,10 @@ struct
 
   let find k env =
    match k with
-      Symbol (sym,n) ->
+      Symbol (sym,_n) ->
        (try find k env
         with Not_found -> find (Symbol (sym,0)) env)
-    | Num n ->
+    | Num _n ->
        (try find k env
         with Not_found -> find (Num 0) env)
     | _ -> find k env
@@ -73,14 +79,14 @@ type interactive_user_uri_choice_type =
   selection_mode:[`SINGLE | `MULTIPLE] ->
   ?ok:string ->
   ?enable_button_for_non_vars:bool ->
-  title:string -> msg:string -> id:string -> UriManager.uri list ->
-   UriManager.uri list
+  title:string -> msg:string -> id:string -> NReference.reference list ->
+   NReference.reference list
 
 type interactive_interpretation_choice_type = string -> int ->
   (Stdpp.location list * string * string) list list -> int list
 
 type input_or_locate_uri_type = 
-  title:string -> ?id:string -> unit -> UriManager.uri option
+  title:string -> ?id:string -> unit -> NReference.reference option
 
 let string_of_domain_item = function
   | Id s -> Printf.sprintf "ID(%s)" s