Added builtin foldl function

[matthijs/master-project/cλash.git] / HighOrdAlu.hs

diff --git a/HighOrdAlu.hs b/HighOrdAlu.hs
index 11636f2c8ba8e6c20242d2c1e4fba061085a2af3..cdef7710c206a817b1bedcfa030bdbfefdd6bfe3 100644 (file)
--- a/HighOrdAlu.hs
+++ b/HighOrdAlu.hs
@@ -10,7 +10,7 @@ import Data.RangedWord
 
 constant :: e -> Op D4 e
 constant e a b =
-  e +> (e +> (e +> singleton e))
+  e +> (e +> (e +> (e +> empty)))
 
 inv = hwnot