[clean up Hs -> E translation code
John Meacham <john@repetae.net>**20060130072817] hunk ./E/FromHs.hs 293
-        {-
-        p' = case p of
-            --AddrOf _ -> EPrim (APrim p req) (map EVar es) rt
-            Func _ s _ _ -> let ep = EPrim (APrim (Func isIO s (map (toExtType . tvrType) es) (toExtType rt')) req)  in case isIO of
-                False -> error "false"
-                --False -> ep (map EVar es) rt
-                --True | toExtType rt' /= "void" -> prim_unsafeCoerce (ELam tvrWorld $  eCaseTup  (ep (map EVar (tvrWorld:es))  rttIO) [tvrWorld2,rtVar] (eJustIO (EVar tvrWorld2) (EVar rtVar))) rt
-                --     | otherwise -> prim_unsafeCoerce (ELam tvrWorld $ eStrictLet tvrWorld2 (ep (map EVar (tvrWorld:es))  tWorld__) (eJustIO (EVar tvrWorld2) vUnit)) rt
-                True | toExtType rt' /= "void" -> ELam tvrWorld $  eCaseTup  (ep (map EVar (tvrWorld:es))  rttIO) [tvrWorld2,rtVar] (eJustIO (EVar tvrWorld2) (EVar rtVar))
-                     | otherwise -> ELam tvrWorld $ eStrictLet tvrWorld2 (ep (map EVar (tvrWorld:es))  tWorld__) (eJustIO (EVar tvrWorld2) vUnit)
-                 --    | otherwise -> eStrictLet tvrWorld2 (ep (map EVar (tvrWorld:es))  tWorld__) (prim_unsafeCoerce (ELam tvrWorld $  eJustIO (EVar tvrWorld2) vUnit) rt)
-        -}
hunk ./E/FromHs.hs 322
---    cExpr (HsAsPat n' (HsCon n)) =  (ELit (LitCons (getName n) [] (ty t'))) where
---        Forall [] ((_ :=> t')) = getAssump n'
---    cExpr (HsAsPat n' (HsCon n v)) =  foldr ($)  (ELit (LitCons (getName n) (map EVar es) rt)) (map ELam es) where -- (spec t t' (cType n))) where
---        (Forall _ (_ :=> t)) = gFalse n
---        Forall [] ((_ :=> t')) = getAssump n'
---        (ts,rt) = argTypes' (ty t')
---        es = [ (TVr (Just n) t) |  t <- ts | n <- localVars ]
---    cExpr (HsAsPat n' (HsCon n)) =  foldr ($)  (ELit (LitCons (toName DataConstructor n) (map EVar es) rt)) (map ELam es) where -- (spec t t' (cType n))) where
hunk ./E/FromHs.hs 323
-        (Forall _ (_ :=> t)) = getAssumpCon n
hunk ./E/FromHs.hs 324
-        (ts,rt) = argTypes' (ty t')
-        es = [ (tVr ( n) t) |  t <- ts | n <- localVars ]
+        (_,rt) = argTypes' (ty t')
hunk ./E/FromHs.hs 327
-    cExpr (HsLit (HsChar ch))  =  toE ch -- ELit (LitCons (toName DataConstructor ("Prelude","Char")) [ELit $ LitInt (fromIntegral $ ord i) (ELit (LitCons (toName RawType "uint32_t") [] eStar))] tChar)
-    cExpr (HsLit (HsFrac i))  =  toE i -- ELit $ LitInt (fromRational i) tRational -- LitFrac i (error "litfrac?")
+    cExpr (HsLit (HsChar ch)) = toE ch
+    cExpr (HsLit (HsFrac i))  = toE i
hunk ./E/FromHs.hs 357
-    --cExpr (HsAsPat _ e) = cExpr e
hunk ./E/FromHs.hs 381
-    --cRhs sl rhs = g where g = cGuard rhs (ump sl $ getType g) --deliciously lazy
hunk ./E/FromHs.hs 424
---litconvert (HsInt i) t  =  LitInt (fromInteger i) t
hunk ./E/FromHs.hs 425
---litconvert (HsFrac i) t =  LitInt (fromRational i) t -- LitFrac i t