From 601b57023dd6fe4295c5af8bb3f5c508618a5f64 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Wed, 16 Mar 2011 01:53:36 -0700 Subject: [PATCH] better variable names in HaskWeakToCore --- src/HaskWeakToCore.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)) := -- 1.7.10.4