diff options
Diffstat (limited to 'thesis/storing-pc.tex')
| -rw-r--r-- | thesis/storing-pc.tex | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/thesis/storing-pc.tex b/thesis/storing-pc.tex index b642ee9..e08fb4d 100644 --- a/thesis/storing-pc.tex +++ b/thesis/storing-pc.tex @@ -65,19 +65,19 @@ Since \clean{isEmpty} pattern matches on its first argument, it needs to be eval This is done with \abc{jsr_eval 0}. Only after that can we check if its constructor is \abc{_Nil} (the empty list), which is done with \abc{eq_desc _Nil 0 0}. -\begin{minted}[tabsize=4]{text} +\begin{minted}[tabsize=4]{abc} sisEmpty.1 - jsr_eval 0 || Evaluate argument - eq_desc _Nil 0 0 || If it equals [] - jmp_true case.1 || .. jump to case.1 - jmp case.2 || [else] to case.2 + jsr_eval 0 | Evaluate argument + eq_desc _Nil 0 0 | If it equals [] + jmp_true case.1 | .. jump to case.1 + jmp case.2 | [else] to case.2 case.1 - pop_a 1 || Pop argument - pushB TRUE || Return True + pop_a 1 | Pop argument + pushB TRUE | Return True rtn case.2 - pop_a 1 || Pop argument - pushB FALSE || Return False + pop_a 1 | Pop argument + pushB FALSE | Return False rtn \end{minted} |