Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Shayne Fletcher
Glasgow Haskell Compiler
Commits
eabf04b7
Commit
eabf04b7
authored
Aug 23, 2010
by
simonpj@microsoft.com
Browse files
Correct type signatures
parent
b9235325
Changes
1
Hide whitespace changes
Inline
Side-by-side
compiler/typecheck/TcGenDeriv.lhs
View file @
eabf04b7
...
...
@@ -1689,7 +1689,7 @@ genAuxBind loc (GenTag2Con tycon)
nlHsApp (nlHsVar tagToEnum_RDR) a_Expr)],
L loc (TypeSig (L loc rdr_name) sig_ty))
where
sig_ty = nlHsTyVar (getRdrName int
Prim
TyCon)
sig_ty = nlHsTyVar (getRdrName intTyCon)
`nlHsFunTy` (nlHsTyVar (getRdrName tycon))
rdr_name = tag2con_RDR tycon
...
...
@@ -1699,7 +1699,7 @@ genAuxBind loc (GenMaxTag tycon)
L loc (TypeSig (L loc rdr_name) sig_ty))
where
rdr_name = maxtag_RDR tycon
sig_ty = nlHsTyVar (getRdrName int
Prim
TyCon)
sig_ty = nlHsTyVar (getRdrName intTyCon)
rhs = nlHsApp (nlHsVar intDataCon_RDR) (nlHsLit (HsIntPrim max_tag))
max_tag = case (tyConDataCons tycon) of
data_cons -> toInteger ((length data_cons) - fIRST_TAG)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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