projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8d4ca7) | patch
Fix Trac #2478
authorsimonpj@microsoft.com <unknown>
Fri, 1 Aug 2008 12:22:23 +0000 (12:22 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 1 Aug 2008 12:22:23 +0000 (12:22 +0000)
commit6344b1506042f6e150c1b105c6696f3d75a5eb66
tree0f61c908f861e7336a1dd4e46b2829f14df3c97dtree | snapshot
parente8d4ca746464db8c15e935bc8f799536d7400ed8commit | diff
Fix Trac #2478

A minor glitch that shows up only when a data constructor has *both* a
"stupid theta" in the data type decl, *and* an existential type variable.
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)