Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alex D
GHC
Commits
eb5ba64d
Commit
eb5ba64d
authored
Sep 03, 2010
by
simonpj@microsoft.com
Browse files
Give seqId the right type
parent
96ba2fb2
Changes
2
Hide whitespace changes
Inline
Side-by-side
compiler/basicTypes/MkId.lhs
View file @
eb5ba64d
...
...
@@ -945,10 +945,10 @@ seqId = pcMiscPrelId seqName ty info
`setSpecInfo` mkSpecInfo [seq_cast_rule]
ty = mkForAllTys [alphaTyVar,
open
BetaTyVar]
(mkFunTy alphaTy (mkFunTy
open
BetaTy
open
BetaTy))
[x,y] = mkTemplateLocals [alphaTy,
open
BetaTy]
rhs = mkLams [alphaTyVar,
open
BetaTyVar,x,y] (Case (Var x) x
open
BetaTy [(DEFAULT, [], Var y)])
ty = mkForAllTys [alphaTyVar,
arg
BetaTyVar]
(mkFunTy alphaTy (mkFunTy
arg
BetaTy
arg
BetaTy))
[x,y] = mkTemplateLocals [alphaTy,
arg
BetaTy]
rhs = mkLams [alphaTyVar,
arg
BetaTyVar,x,y] (Case (Var x) x
arg
BetaTy [(DEFAULT, [], Var y)])
-- See Note [Built-in RULES for seq]
seq_cast_rule = BuiltinRule { ru_name = fsLit "seq of cast"
...
...
compiler/prelude/TysPrim.lhs
View file @
eb5ba64d
...
...
@@ -12,7 +12,7 @@ module TysPrim(
alphaTyVars, betaTyVars, alphaTyVar, betaTyVar, gammaTyVar, deltaTyVar,
alphaTy, betaTy, gammaTy, deltaTy,
openAlphaTy, openBetaTy, openAlphaTyVar, openBetaTyVar, openAlphaTyVars,
argAlphaTy, argAlphaTyVar,
argAlphaTy, argAlphaTyVar,
argBetaTy, argBetaTyVar,
primTyCons,
...
...
@@ -183,10 +183,11 @@ openAlphaTy, openBetaTy :: Type
openAlphaTy = mkTyVarTy openAlphaTyVar
openBetaTy = mkTyVarTy openBetaTyVar
argAlphaTyVar :: TyVar
(argAlphaTyVar : _) = tyVarList argTypeKind
argAlphaTy :: Type
argAlphaTyVar
, argBetaTyVar
:: TyVar
(argAlphaTyVar :
argBetaTyVar :
_) = tyVarList argTypeKind
argAlphaTy
, argBetaTy
:: Type
argAlphaTy = mkTyVarTy argAlphaTyVar
argBetaTy = mkTyVarTy argBetaTyVar
\end{code}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment