Fix typo

snowleopard · Mar 23, 2019 · edd7dfc · edd7dfc
1 parent 1424bed
commit edd7dfc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/examples/Processor.hs b/examples/Processor.hs
@@ -164,6 +164,10 @@ jumpZero offset =
         modifyPC = void $ write PC ((+offset) <$> pc)
     in whenS zeroSet modifyPC
 
+-- A block of instructions.
+addAndJump :: Program ()
+addAndJump = add (Reg R1) (Reg R2) (Reg R3) *> jumpZero 42
+
 -----------------------------------
 -- Add with overflow tracking -----
 -----------------------------------

diff --git a/paper/5-free.tex b/paper/5-free.tex
@@ -466,7 +466,7 @@ \subsubsection{Blocks of instructions}
 
 \vspace{1mm}
 \begin{minted}[xleftmargin=10pt]{haskell}
-addAndJump :: ISA Value
+addAndJump :: ISA ()
 addAndJump = add R0 1 *> jumpZero 42
 \end{minted}
 \newpage