projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc07de3) | patch
Fix Trac #3100: reifyType
authorsimonpj@microsoft.com <unknown>
Mon, 30 Nov 2009 17:52:04 +0000 (17:52 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 30 Nov 2009 17:52:04 +0000 (17:52 +0000)
commitf65f61e18bb010109fd5581c44d37382b93a35b5
treef5dd84f17cda314b06864f1df26a24e9c8bd1401tree | snapshot
parentdc07de316fa7730abe8759b57bd8300e07650f3acommit | diff
Fix Trac #3100: reifyType

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.
compiler/typecheck/TcSplice.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)