From 7c8bb43c572704c4afb86bdaf917c1a695009378 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 3 Mar 2010 14:05:19 +0100 Subject: [PATCH] Allow inlining of head and friends. --- "c\316\273ash/CLasH/Normalize/NormalizeTools.hs" | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2