From 20a9b4934a97e6801d6785ac940f771cb74a8cc1 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 26 Mar 2011 19:26:01 -0700 Subject: [PATCH] improve error message --- src/ExtractionMain.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v index 61993a1..05d059a 100644 --- a/src/ExtractionMain.v +++ b/src/ExtractionMain.v @@ -100,7 +100,8 @@ Section core2proof. Definition ξ (cv:CoreVar) : LeveledHaskType Γ ★ := match coreVarToWeakVar cv with | WExprVar wev => match weakTypeToTypeOfKind φ wev ★ with - | Error s => Prelude_error ("Error in top-level xi: " +++ s) + | Error s => Prelude_error ("Error converting weakType of top-level variable "+++ + toString cv+++": " +++ s) | OK t => t @@ nil end | WTypeVar _ => Prelude_error "top-level xi got a type variable" -- 1.7.10.4