From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Wed, 16 Mar 2011 08:53:36 +0000 (-0700)
Subject: better variable names in HaskWeakToCore
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=601b57023dd6fe4295c5af8bb3f5c508618a5f64;p=coq-hetmet.git

better variable names in HaskWeakToCore
---

diff --git a/src/HaskWeakToCore.v b/src/HaskWeakToCore.v
index c97a63c..51e61dd 100644
--- a/src/HaskWeakToCore.v
+++ b/src/HaskWeakToCore.v
@@ -95,8 +95,8 @@ Fixpoint weakExprToCoreExpr (me:WeakExpr) : @CoreExpr CoreVar :=
                                                      nil)
                                                    (CoreEVar v)
   | WELet   (weakExprVar v _) ve e       => mkCoreLet      (CoreNonRec v (weakExprToCoreExpr ve))  (weakExprToCoreExpr e)
-  | WECase  vscrut e tbranches tc types alts  =>
-                                            CoreECase (weakExprToCoreExpr e) vscrut (weakTypeToCoreType tbranches)
+  | WECase  vscrut escrut tbranches tc types alts  =>
+                                            CoreECase (weakExprToCoreExpr escrut) vscrut (weakTypeToCoreType tbranches)
                                               (sortAlts ((
                                                 fix mkCaseBranches (alts:Tree 
                                                   ??(WeakAltCon*list WeakTypeVar*list WeakCoerVar*list WeakExprVar*WeakExpr)) :=