summaryrefslogtreecommitdiff
path: root/rulestail.tex
blob: 8ed1c588b4de8ed4e0851e7218db767b88327cc4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
% vim: set spelllang=nl:
\subsection{\texttt{Tail}}
\label{sec:rules:tail}

\begin{quote}
    t - Pops a string from the stack, and pushes its tail, ie all but the first character. This causes an error if used on the empty string.
\end{quote}

In plaats van het geven van een error kiezen we ervoor te voorkomen dat we een
afleidingsboom kunnen maken wanneer $\StmTail$ wordt uitgevoerd op het moment
dat het element bovenop de stack de lege string is.

Dit geeft de volgende regel:
\thertailns%