X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FndpFlatten%2FFlattening.hs;h=220c571e1e4dcb7b9a892cd2ac2b6fe91cf53042;hb=1994febdf9ae3d63029a837a6a10bda2690ddb48;hp=c339c76f117103c7d89b4fa8ed3e238189a87c6d;hpb=4714e5142548941592b208c34685ce684d1bf3d6;p=ghc-hetmet.git diff --git a/compiler/ndpFlatten/Flattening.hs b/compiler/ndpFlatten/Flattening.hs index c339c76..220c571 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/Commentary/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 TRACE (trace) - -- standard import Monad (liftM, foldM)