X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2FndpFlatten%2FFlattening.hs;h=5f883fd092a6aa83fa2ff3266dc43b04067cd174;hb=ad94d40948668032189ad22a0ad741ac1f645f50;hp=18fc319e87e1a5b58cca677d576e04ef9044a31f;hpb=49c98d143c382a1341e1046f5ca00819a25691ba;p=ghc-hetmet.git diff --git a/compiler/ndpFlatten/Flattening.hs b/compiler/ndpFlatten/Flattening.hs index 18fc319..5f883fd 100644 --- a/compiler/ndpFlatten/Flattening.hs +++ b/compiler/ndpFlatten/Flattening.hs @@ -1,3 +1,10 @@ +{-# OPTIONS -w #-} +-- The above warning supression flag is a temporary kludge. +-- While working on this module you are encouraged to remove it and fix +-- any warnings in the module. See +-- http://hackage.haskell.org/trac/ghc/wiki/CodingStyle#Warnings +-- for details + -- $Id$ -- -- Copyright (c) [2001..2002] Manuel M T Chakravarty & Gabriele Keller @@ -55,12 +62,11 @@ module Flattening ( #include "HsVersions.h" -- friends -import NDPCoreUtils (tupleTyArgs, funTyArgs, parrElemTy, isDefault, +import NDPCoreUtils (tupleTyArgs, funTyArgs, isDefault, isLit, mkPArrTy, mkTuple, isSimpleExpr, substIdEnv) import FlattenMonad (Flatten, runFlatten, mkBind, extendContext, packContext, liftVar, liftConst, intersectWithContext, mk'fst, - mk'lengthP, mk'replicateP, mk'mapP, mk'bpermuteDftP, - mk'indexOfP,mk'eq,mk'neq) + mk'mapP, mk'bpermuteDftP, mk'indexOfP,mk'eq,mk'neq) -- GHC import TcType ( tcIsForAllTy, tcView ) @@ -75,9 +81,9 @@ import Literal (Literal, literalType) import Var (Var(..), idType, isTyVar) import Id (setIdType) import DataCon (DataCon, dataConTag) -import HscTypes ( ModGuts(..), ModGuts, HscEnv(..), hscEPS ) +import HscTypes ( ModGuts(..), HscEnv(..), hscEPS ) import CoreFVs (exprFreeVars) -import CoreSyn (Expr(..), Bind(..), Alt(..), AltCon(..), Note(..), +import CoreSyn (Expr(..), Bind(..), Alt, AltCon(..), CoreBndr, CoreExpr, CoreBind, mkLams, mkLets, mkApps, mkIntLitInt) import PprCore (pprCoreExpr) @@ -90,10 +96,6 @@ import BasicTypes (Boxity(..)) import Outputable import FastString - --- FIXME: fro debugging - remove this -import Debug.Trace (trace) - -- standard import Monad (liftM, foldM)