Fix higher-order cpu, also corrected in paper

[matthijs/master-project/dsd-paper.git] / cλash.lhs

diff --git a/cλash.lhs b/cλash.lhs
index a1fadea64d82bd8474a0adc5d373c2bbb3bc26c1..95c7738e35bc8ea0671238f5e90e901bca388817 100644 (file)
--- a/cλash.lhs
+++ b/cλash.lhs
@@ -1207,10 +1207,10 @@ cpu :: Word -> [(Index 6, Index 6) | 4]
   -> State [Word | 4] -> (State [Word | 4], Word)
 cpu input addrs (State fuss) = (State fuss', out)
   where
-    fuss' =   [ fu const  inputs (addrs!0) (fuss!0)
-              , fu (+)    inputs (addrs!1) (fuss!1)
-              , fu (-)    inputs (addrs!2) (fuss!2)
-              , fu (*)    inputs (addrs!3) (fuss!3)
+    fuss' =   [ fu const  inputs (addrs!0)
+              , fu (+)    inputs (addrs!1)
+              , fu (-)    inputs (addrs!2)
+              , fu (*)    inputs (addrs!3)
               ]
     inputs    = 0 +> (1 +> (input +> fuss))
     out       = head fuss