diff options
| author | simonpj@microsoft.com <unknown> | 2010-09-19 15:22:01 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-09-19 15:22:01 +0000 |
| commit | e4b5abb6ddfd07a7f95455c94faf2946a1bc078e (patch) | |
| tree | 5508e3be0600830a8b45c3e9d3855f62a3733ba6 | |
| parent | b57a93743f6d31a481bf462c6cf867196f9b60ab (diff) | |
| download | haskell-e4b5abb6ddfd07a7f95455c94faf2946a1bc078e.tar.gz | |
Include the "stupid theta" in the type of $con2tag
| -rw-r--r-- | compiler/typecheck/TcGenDeriv.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcGenDeriv.lhs b/compiler/typecheck/TcGenDeriv.lhs index 4e95ad31b2..6e5aedc83e 100644 --- a/compiler/typecheck/TcGenDeriv.lhs +++ b/compiler/typecheck/TcGenDeriv.lhs @@ -1668,7 +1668,7 @@ genAuxBind loc (GenCon2Tag tycon) rdr_name = con2tag_RDR tycon sig_ty = HsCoreTy $ - mkForAllTys (tyConTyVars tycon) $ + mkSigmaTy (tyConTyVars tycon) (tyConStupidTheta tycon) $ mkParentType tycon `mkFunTy` intPrimTy lots_of_constructors = tyConFamilySize tycon > 8 |