open DisambiguateTypes
open UriManager
+(* the integer is an offset to be added to each location *)
exception NoWellTypedInterpretation of
- (Token.flocation option * string Lazy.t) list
+ int * (Token.flocation option * string Lazy.t) list
exception PathNotWellFormed
(** raised when an environment is not enough informative to decide *)
try
let res =
match aux aliases [] None todo_dom base_univ with
- | [],errors -> raise (NoWellTypedInterpretation errors)
+ | [],errors -> raise (NoWellTypedInterpretation (0,errors))
| [_,diff,metasenv,t,ugraph],_ ->
debug_print (lazy "SINGLE INTERPRETATION");
[diff,metasenv,t,ugraph], false