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/prelude/TysPrim.lhs | |
| parent | ebd139587ed98f686d633e90dbef6716f2b0e9c7 (diff) | |
| download | haskell-5e3c9a59c4827b1fbde59461076b4839d57efd7c.tar.gz | |
Give the correct kind to unsafeCoerce#
Diffstat (limited to 'compiler/prelude/TysPrim.lhs')
| -rw-r--r-- | compiler/prelude/TysPrim.lhs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs index 3490a827ea..efeced286c 100644 --- a/compiler/prelude/TysPrim.lhs +++ b/compiler/prelude/TysPrim.lhs @@ -12,6 +12,7 @@ module TysPrim( alphaTyVars, betaTyVars, alphaTyVar, betaTyVar, gammaTyVar, deltaTyVar, alphaTy, betaTy, gammaTy, deltaTy, openAlphaTy, openBetaTy, openAlphaTyVar, openBetaTyVar, openAlphaTyVars, + argAlphaTy, argAlphaTyVar, primTyCons, @@ -180,7 +181,12 @@ openAlphaTyVars@(openAlphaTyVar:openBetaTyVar:_) = tyVarList openTypeKind openAlphaTy, openBetaTy :: Type openAlphaTy = mkTyVarTy openAlphaTyVar -openBetaTy = mkTyVarTy openBetaTyVar +openBetaTy = mkTyVarTy openBetaTyVar + +argAlphaTyVar :: TyVar +(argAlphaTyVar : _) = tyVarList argTypeKind +argAlphaTy :: Type +argAlphaTy = mkTyVarTy argAlphaTyVar \end{code} |