X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.lhs;h=074ec9141aaba6535eb217a47d4cc010ba931ce2;hp=a6bd1c248816f15d5706d74189f951dd586a10b2;hb=9d6ed84c8d147725d8d8cf4deac9ca07869cbf3b;hpb=e67776927d42cbb75c109ddf013dca906ff97e4e

diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs"
index a6bd1c2..074ec91 100644
--- "a/c\316\273ash.lhs"
+++ "b/c\316\273ash.lhs"
@@ -1210,9 +1210,10 @@ fu op inputs (addr1, addr2) = regIn
 \end{code}
 
 \begin{code}
-cpu :: State [Word | 4] -> Word 
-  -> [(Index 6, Index 6) | 4]
-  -> (State [Word | 4], Word)
+type CpuState = State [Word | 4]
+
+cpu :: CpuState -> Word -> [(Index 6, Index 6) | 4]
+  -> (CpuState, Word)
 cpu (State regsOut) input addrs = (State regsIn, out)
   where
     regsIn    =   [ fu const  inputs (addrs!0)
@@ -1422,7 +1423,7 @@ earlier mentioned properties do indeed exist.
 % number - used to balance the columns on the last page
 % adjust value as needed - may need to be readjusted if
 % the document is modified later
-%\IEEEtriggeratref{8}
+\IEEEtriggeratref{14}
 % The "triggered" command can be changed if desired:
 %\IEEEtriggercmd{\enlargethispage{-5in}}