projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2d9ef8) | patch
Fix Trac #3966: warn about useless UNPACK pragmas
authorsimonpj@microsoft.com <unknown>
Thu, 6 May 2010 16:33:37 +0000 (16:33 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 6 May 2010 16:33:37 +0000 (16:33 +0000)
commit215ce9f15215399ce30ae55c9521087847d78646
treea5af9fd4f244f76176d4c597b8a0f0c53b21cb12tree | snapshot
parentb2d9ef8482638a91e68acdd19ecfe24db0458049commit | diff
Fix Trac #3966: warn about useless UNPACK pragmas

Warning about useless UNPACK pragmas wasn't as easy as I thought.
I did quite a bit of refactoring, which improved the code by refining
the types somewhat.  In particular notice that in DataCon, we have

    dcStrictMarks   :: [HsBang]
    dcRepStrictness :: [StrictnessMarks]

The former relates to the *source-code* annotation, the latter to
GHC's representation choice.
15 files changed:
compiler/basicTypes/BasicTypes.lhs diff | blob | history
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/hsSyn/HsTypes.lhs diff | blob | history
compiler/iface/BinIface.hs diff | blob | history
compiler/iface/BuildTyCl.lhs diff | blob | history
compiler/iface/IfaceSyn.lhs diff | blob | history
compiler/iface/MkIface.lhs diff | blob | history
compiler/main/PprTyThing.hs diff | blob | history
compiler/parser/Parser.y.pp diff | blob | history
compiler/prelude/TysWiredIn.lhs diff | blob | history
compiler/typecheck/TcExpr.lhs diff | blob | history
compiler/typecheck/TcSplice.lhs diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
compiler/vectorise/VectType.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)