diff options
author | simonpj@microsoft.com <unknown> | 2010-07-27 13:15:38 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2010-07-27 13:15:38 +0000 |
commit | 5e3c9a59c4827b1fbde59461076b4839d57efd7c (patch) | |
tree | 13481af85c2836e9df69ccafa5d4332fb7b23be1 /compiler/basicTypes/MkId.lhs | |
parent | ebd139587ed98f686d633e90dbef6716f2b0e9c7 (diff) | |
download | haskell-5e3c9a59c4827b1fbde59461076b4839d57efd7c.tar.gz |
Give the correct kind to unsafeCoerce#
Diffstat (limited to 'compiler/basicTypes/MkId.lhs')
-rw-r--r-- | compiler/basicTypes/MkId.lhs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs index 6e7b0c06cb..d7cd8cd5c9 100644 --- a/compiler/basicTypes/MkId.lhs +++ b/compiler/basicTypes/MkId.lhs @@ -920,11 +920,11 @@ unsafeCoerceId info = noCafIdInfo `setUnfoldingInfo` mkCompulsoryUnfolding rhs - ty = mkForAllTys [openAlphaTyVar,openBetaTyVar] - (mkFunTy openAlphaTy openBetaTy) - [x] = mkTemplateLocals [openAlphaTy] - rhs = mkLams [openAlphaTyVar,openBetaTyVar,x] $ - Cast (Var x) (mkUnsafeCoercion openAlphaTy openBetaTy) + ty = mkForAllTys [argAlphaTyVar,openBetaTyVar] + (mkFunTy argAlphaTy openBetaTy) + [x] = mkTemplateLocals [argAlphaTy] + rhs = mkLams [argAlphaTyVar,openBetaTyVar,x] $ + Cast (Var x) (mkUnsafeCoercion argAlphaTy openBetaTy) ------------------------------------------------ nullAddrId :: Id |