projects
/
matthijs
/
master-project
/
cλash.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
43c13fe
)
Remove the (now unused) is_wild predicate.
author
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Tue, 14 Jul 2009 13:36:39 +0000
(15:36 +0200)
committer
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Tue, 14 Jul 2009 13:36:39 +0000
(15:36 +0200)
CoreTools.hs
patch
|
blob
|
history
diff --git
a/CoreTools.hs
b/CoreTools.hs
index 4677af498b56680a0c2bf2362a0eda35cf528893..0c0e1fa7f60d88cd3914b9fcf1c3b20073c3a8ff 100644
(file)
--- a/
CoreTools.hs
+++ b/
CoreTools.hs
@@
-133,14
+133,6
@@
tfvec_elem ty = el_ty
Nothing -> error $ "\nCoreTools.tfvec_len: Not a vector type: " ++ (pprString ty)
[len, el_ty] = args
Nothing -> error $ "\nCoreTools.tfvec_len: Not a vector type: " ++ (pprString ty)
[len, el_ty] = args
--- Is this a wild binder?
-is_wild :: CoreSyn.CoreBndr -> Bool
--- wild binders have a particular unique, that we copied from MkCore.lhs to
--- here. However, this comparison didn't work, so we'll just check the
--- occstring for now... TODO
---(Var.varUnique bndr) == (Unique.mkBuiltinUnique 1)
-is_wild bndr = "wild" == (OccName.occNameString . Name.nameOccName . Var.varName) bndr
-
-- Is the given core expression a lambda abstraction?
is_lam :: CoreSyn.CoreExpr -> Bool
is_lam (CoreSyn.Lam _ _) = True
-- Is the given core expression a lambda abstraction?
is_lam :: CoreSyn.CoreExpr -> Bool
is_lam (CoreSyn.Lam _ _) = True