Everything will be much nicer when we can commit the patch I spent a fortnight on last year, which implements the stuff described here. http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/BackEndTypes
Until that happy day, which should be soon now that John is in action, time spent tidying up hints is likely to be ill-spent. It may be better to undo the hint->kind patch below, simply because it'll cause all manner of conflicts with code that has re-done this area. Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Isaac Dupree | Sent: 06 May 2008 02:05 | To: BuildBot Collator | Subject: Re: patch applied (ghc): replace Cmm 'hint' with 'kind' | | (oops, forgot "reply to all" the first time and also left something out) | | Is there documentation (e.g. on the GHC Commentary somewhere I can't | find) an explanation of what C-- "kinds" are or how they're useful/used? | When I was portabilizing that code area a while ago I had ignorantly | changed some of the uses of "kind" to "hint" for consistency (both names | had been being used for the same thing via type-synonym.) and because I | could guess how the code make sense if it was, informally, a hint about | what to do. | | this place seems to allude to "hints" as well as the hacky tuple that I | think is the one I fixed by turning it into a data type (so it could be | put into typeclasses reasonably), but maybe isn't up-to-date, and | doesn't explain it: | http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/BackEndTypes#Foreigncallsandhints | | -Isaac | | > [EMAIL PROTECTED] wrote: | >> Sat May 3 15:45:14 PDT 2008 Norman Ramsey <[EMAIL PROTECTED]> | >> * replace Cmm 'hint' with 'kind' | >> C-- no longer has 'hints'; to guide parameter passing, it | >> has 'kinds'. Renamed type constructor, data constructor, and record | >> fields accordingly | >> | >> M ./compiler/cmm/CLabel.hs r4 | >> M ./compiler/cmm/Cmm.hs r4 | >> M ./compiler/cmm/CmmBrokenBlock.hs r4 | >> M ./compiler/cmm/CmmCPS.hs r4 | >> M ./compiler/cmm/CmmCPSGen.hs r4 | >> M ./compiler/cmm/CmmCPSZ.hs r4 | >> M ./compiler/cmm/CmmCallConv.hs r4 | >> M ./compiler/cmm/CmmContFlowOpt.hs r4 | >> M ./compiler/cmm/CmmCvt.hs r4 | >> M ./compiler/cmm/CmmExpr.hs r4 | >> M ./compiler/cmm/CmmInfo.hs r4 | >> M ./compiler/cmm/CmmLint.hs r4 | >> M ./compiler/cmm/CmmLive.hs r4 | >> M ./compiler/cmm/CmmLiveZ.hs r4 | >> M ./compiler/cmm/CmmOpt.hs r4 | >> M ./compiler/cmm/CmmProcPoint.hs r4 | >> M ./compiler/cmm/CmmProcPointZ.hs r4 | >> M ./compiler/cmm/CmmSpillReload.hs r4 | >> M ./compiler/cmm/CmmTx.hs r4 | >> M ./compiler/cmm/CmmUtils.hs r4 | >> M ./compiler/cmm/CmmZipUtil.hs r4 | >> M ./compiler/cmm/DFMonad.hs r4 | >> M ./compiler/cmm/Dataflow.hs r4 | >> M ./compiler/cmm/MachOp.hs r4 | >> M ./compiler/cmm/MkZipCfg.hs r4 | >> M ./compiler/cmm/MkZipCfgCmm.hs r4 | >> M ./compiler/cmm/OptimizationFuel.hs r4 | >> M ./compiler/cmm/PprC.hs r4 | >> M ./compiler/cmm/PprCmm.hs r4 | >> M ./compiler/cmm/PprCmmZ.hs r4 | >> M ./compiler/cmm/StackColor.hs r4 | >> M ./compiler/cmm/StackPlacements.hs r4 | >> M ./compiler/cmm/ZipCfg.hs r4 | >> M ./compiler/cmm/ZipCfgCmmRep.hs r4 | >> M ./compiler/cmm/ZipCfgExtras.hs r4 | >> M ./compiler/cmm/ZipDataflow.hs r4 | >> M ./compiler/cmm/ZipDataflow0.hs r4 | >> M ./compiler/codeGen/Bitmap.hs r4 | >> M ./compiler/codeGen/CgBindery.lhs r4 | >> M ./compiler/codeGen/CgCallConv.hs r4 | >> M ./compiler/codeGen/CgCase.lhs r4 | >> M ./compiler/codeGen/CgClosure.lhs r4 | >> M ./compiler/codeGen/CgCon.lhs r4 | >> M ./compiler/codeGen/CgExpr.lhs r4 | >> M ./compiler/codeGen/CgForeignCall.hs r4 | >> M ./compiler/codeGen/CgHeapery.lhs r4 | >> M ./compiler/codeGen/CgHpc.hs r4 | >> M ./compiler/codeGen/CgInfoTbls.hs r4 | >> M ./compiler/codeGen/CgLetNoEscape.lhs r4 | >> M ./compiler/codeGen/CgMonad.lhs r4 | >> M ./compiler/codeGen/CgParallel.hs r4 | >> M ./compiler/codeGen/CgPrimOp.hs r4 | >> M ./compiler/codeGen/CgProf.hs r4 | >> M ./compiler/codeGen/CgStackery.lhs r4 | >> M ./compiler/codeGen/CgTailCall.lhs r4 | >> M ./compiler/codeGen/CgTicky.hs r4 | >> M ./compiler/codeGen/CgUtils.hs r4 | >> M ./compiler/codeGen/ClosureInfo.lhs r4 | >> M ./compiler/codeGen/CodeGen.lhs r4 | >> M ./compiler/codeGen/SMRep.lhs r4 | >> M ./compiler/nativeGen/AsmCodeGen.lhs r4 | >> M ./compiler/nativeGen/MachCodeGen.hs r4 | >> M ./compiler/nativeGen/MachInstrs.hs r4 | >> M ./compiler/nativeGen/MachRegs.lhs r4 | >> M ./compiler/nativeGen/NCGMonad.hs r4 | >> M ./compiler/nativeGen/PositionIndependentCode.hs r4 | >> M ./compiler/nativeGen/PprMach.hs r4 | >> M ./compiler/nativeGen/RegAllocColor.hs r4 | >> M ./compiler/nativeGen/RegAllocInfo.hs r4 | >> M ./compiler/nativeGen/RegAllocLinear.hs r4 | >> M ./compiler/nativeGen/RegAllocStats.hs r4 | >> M ./compiler/nativeGen/RegArchBase.hs r4 | >> M ./compiler/nativeGen/RegArchX86.hs r4 | >> M ./compiler/nativeGen/RegCoalesce.hs r4 | >> M ./compiler/nativeGen/RegLiveness.hs r4 | >> M ./compiler/nativeGen/RegSpill.hs r4 | >> M ./compiler/nativeGen/RegSpillClean.hs r4 | >> M ./compiler/nativeGen/RegSpillCost.hs r4 | >> | >> View patch online: | >> http://darcs.haskell.org/ghc/_darcs/patches/20080503224514-39dff- | b63df7e2c91c07393ca204c8e5c014f52bf0ec1a.gz | >> | >> | >> _______________________________________________ | >> Cvs-ghc mailing list | >> [email protected] | >> http://www.haskell.org/mailman/listinfo/cvs-ghc | >> | > | > | | _______________________________________________ | Cvs-ghc mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
