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 (from parent 1:
254a259
)
Allow inlining of head and friends.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Wed, 3 Mar 2010 13:05:19 +0000
(14:05 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Wed, 3 Mar 2010 13:05:19 +0000
(14:05 +0100)
cλash/CLasH/Normalize/NormalizeTools.hs
patch
|
blob
|
history
diff --git
a/cλash/CLasH/Normalize/NormalizeTools.hs
b/cλash/CLasH/Normalize/NormalizeTools.hs
index c67b9e1511e10f3c30646c981f0bffd7ce930d54..187c6f9ba76946990b5f78473dcab71556c9af05 100644
(file)
--- a/
cλash/CLasH/Normalize/NormalizeTools.hs
+++ b/
cλash/CLasH/Normalize/NormalizeTools.hs
@@
-199,7
+199,7
@@
isUserDefined bndr = str `notElem` compiler_names
-- These are names of bindings usually generated by the compiler. For some
-- reason these are not marked as system, probably because the name itself
-- is not made up by the compiler, just this particular binding is.
-- These are names of bindings usually generated by the compiler. For some
-- reason these are not marked as system, probably because the name itself
-- is not made up by the compiler, just this particular binding is.
- compiler_names = ["fromInteger", "+", "*", "-", "!"]
+ compiler_names = ["fromInteger", "
head", "tail", "init", "last", "
+", "*", "-", "!"]
-- Is the given binder normalizable? This means that its type signature can be
-- represented in hardware, which should (?) guarantee that it can be made
-- Is the given binder normalizable? This means that its type signature can be
-- represented in hardware, which should (?) guarantee that it can be made