From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 3 Mar 2010 13:05:19 +0000 (+0100)
Subject: Allow inlining of head and friends.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=7c8bb43c572704c4afb86bdaf917c1a695009378;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Allow inlining of head and friends.
---

diff --git "a/c\316\273ash/CLasH/Normalize/NormalizeTools.hs" "b/c\316\273ash/CLasH/Normalize/NormalizeTools.hs"
index c67b9e1..187c6f9 100644
--- "a/c\316\273ash/CLasH/Normalize/NormalizeTools.hs"
+++ "b/c\316\273ash/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.
-    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