(fun (s,t) -> CoercDb.eq_carr s src && CoercDb.eq_carr t tgt)
in
match l with
- | [] -> debug_print (lazy ":( coercion non trovata"); NoCoercion
+ | [] ->
+ debug_print
+ (lazy
+ (sprintf ":-( coercion non trovata da %s a %s"
+ (CoercDb.name_of_carr src)
+ (CoercDb.name_of_carr tgt)));
+ NoCoercion
+ | [u] ->
+ debug_print (lazy (
+ sprintf ":-) TROVATA 1 coercion da %s a %s: %s"
+ (CoercDb.name_of_carr src)
+ (CoercDb.name_of_carr tgt)
+ (UriManager.name_of_uri u)));
+ SomeCoercion (CicUtil.term_of_uri u)
| u::_ ->
debug_print (lazy (
- sprintf ":) TROVATE %d coercion(s) da %s a %s, prendo la prima: %s"
+ sprintf ":-/ TROVATE %d coercion(s) da %s a %s, prendo la prima: %s"
(List.length l)
(CoercDb.name_of_carr src)
(CoercDb.name_of_carr tgt)