From 1f4d60a3dddf11075937c43bb95efd8874c6660a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 25 Apr 2009 19:12:03 +0000 Subject: [PATCH] Better error message. --- helm/software/components/ng_kernel/nCicTypeChecker.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml index 3459c8dd2..61cda8a33 100644 --- a/helm/software/components/ng_kernel/nCicTypeChecker.ml +++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml @@ -1089,7 +1089,10 @@ and type_of_constant ((Ref.Ref (uri,_)) as ref) = | (_,h1,_,_,C.Constant (_,_,_,ty,_)), Ref.Ref (_,Ref.Def h2) -> if h1 <> h2 then error (); ty - | _ -> raise (AssertFailure (lazy "type_of_constant: environment/reference")) + | _ -> + raise (AssertFailure + (lazy ("type_of_constant: environment/reference: " ^ + Ref.string_of_reference ref))) and get_relevance ~metasenv ~subst context t args = let ty = typeof ~subst ~metasenv context t in -- 2.39.2