patch applied (ghc-6.12/ghc): Fix Trac #3100: reifyType

[Ian Lynagh]

Mon Nov 30 09:52:04 PST 2009  simonpj at microsoft.com
  * Fix Trac #3100: reifyType
  Ignore-this: ad1578c3d2e3da6128cd5052c8b64dc
  
  A type without any leading foralls may still have constraints
     eg:  ?x::Int => Int -> Int
  
  But reifyType was failing in this case.
  
  Merge to 6.12.

    M ./compiler/typecheck/TcSplice.lhs -7 +12

View patch online:
http://darcs.haskell.org/ghc-6.12/ghc/_darcs/patches/20091130175204-1287e-3000802df6cecad7dd307e8a09eea76a067f3b88.gz