projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2003-07-02 13:12:33 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
specialise
/
SpecConstr.lhs
diff --git
a/ghc/compiler/specialise/SpecConstr.lhs
b/ghc/compiler/specialise/SpecConstr.lhs
index
ab7ccd4
..
603c2a6
100644
(file)
--- a/
ghc/compiler/specialise/SpecConstr.lhs
+++ b/
ghc/compiler/specialise/SpecConstr.lhs
@@
-19,7
+19,7
@@
import WwLib ( mkWorkerArgs )
import DataCon ( dataConRepArity )
import Type ( tyConAppArgs )
import Id ( Id, idName, idType,
import DataCon ( dataConRepArity )
import Type ( tyConAppArgs )
import Id ( Id, idName, idType,
- isDataConId_maybe,
+ isDataConWorkId_maybe,
mkUserLocal, mkSysLocal )
import Var ( Var )
import VarEnv
mkUserLocal, mkSysLocal )
import Var ( Var )
import VarEnv
@@
-582,7
+582,7
@@
is_con_app_maybe env (Lit lit)
is_con_app_maybe env expr
= case collectArgs expr of
is_con_app_maybe env expr
= case collectArgs expr of
- (Var fun, args) | Just con <- isDataConId_maybe fun,
+ (Var fun, args) | Just con <- isDataConWorkId_maybe fun,
args `lengthAtLeast` dataConRepArity con
-- Might be > because the arity excludes type args
-> Just (DataAlt con,args)
args `lengthAtLeast` dataConRepArity con
-- Might be > because the arity excludes type args
-> Just (DataAlt con,args)