From: Matthijs Kooijman Date: Wed, 3 Mar 2010 10:08:11 +0000 (+0100) Subject: Allow ! to be inlined. X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=89f4f30dcabe32e242b24915c28cb2368feaf3c4;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git Allow ! to be inlined. --- diff --git "a/c\316\273ash/CLasH/Normalize/NormalizeTools.hs" "b/c\316\273ash/CLasH/Normalize/NormalizeTools.hs" index c904c2f..c67b9e1 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", "+", "*", "-", "!"] -- Is the given binder normalizable? This means that its type signature can be -- represented in hardware, which should (?) guarantee that it can be made