projects
/
matthijs
/
master-project
/
dsd-paper.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add cpustate type alias
[matthijs/master-project/dsd-paper.git]
/
cλash.lhs
diff --git
a/cλash.lhs
b/cλash.lhs
index a6bd1c248816f15d5706d74189f951dd586a10b2..074ec9141aaba6535eb217a47d4cc010ba931ce2 100644
(file)
--- a/
cλash.lhs
+++ b/
cλash.lhs
@@
-1210,9
+1210,10
@@
fu op inputs (addr1, addr2) = regIn
\end{code}
\begin{code}
\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)
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
% 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}}
% The "triggered" command can be changed if desired:
%\IEEEtriggercmd{\enlargethispage{-5in}}