a-normalize all literals..

ucsd-progsys · Jul 13, 2015 · 18d264f · 18d264f
1 parent 82dcf7d
commit 18d264f
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/Language/Haskell/Liquid/ANFTransform.hs b/src/Language/Haskell/Liquid/ANFTransform.hs
@@ -125,10 +125,10 @@ normalizeName :: VarEnv Id -> CoreExpr -> DsMW CoreExpr
 -- normalizeNameDebug γ e 
 --   = liftM (tracePpr ("normalizeName" ++ showPpr e)) $ normalizeName γ e
 
-normalizeName _ e@(Lit (LitInteger _ _))
+normalizeName _ e@(Lit _)
   = normalizeLiteral e
 
-normalizeName _ e@(Tick _ (Lit (LitInteger _ _)))
+normalizeName _ e@(Tick _ (Lit _))
   = normalizeLiteral e
 
 normalizeName γ (Var x)
@@ -137,9 +137,6 @@ normalizeName γ (Var x)
 normalizeName _ e@(Type _)
   = return e
 
-normalizeName _ e@(Lit _)
-  = return e
-
 normalizeName _ e@(Coercion _)
   = do x     <- lift $ freshNormalVar $ exprType e
        add  [NonRec x e]