diff options
Diffstat (limited to 'paper/eval.tex')
| -rw-r--r-- | paper/eval.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/paper/eval.tex b/paper/eval.tex index 14246f8..969a82d 100644 --- a/paper/eval.tex +++ b/paper/eval.tex @@ -11,7 +11,7 @@ occurs in the \CI{State} function, while the latter will occur in the \CI{eval} implementation of \CI{AExpr}. Using monads, we can easily pass through errors. An example will clarify: -\lstinputlisting[firstline=40,lastline=55]{While/WhileCommon.icl} +\lstinputlisting[firstline=40,lastline=52]{While/WhileCommon.icl} Recall that the second argument to \CI{eval}, here \CI{st}, is of type \CI{State}. That is, it is a function that yields an \CI{Either Error Int}. In |