equal
deleted
inserted
replaced
122 |
122 |
123 \noindent |
123 \noindent |
124 I usually delete all files inside this directory and in this way force |
124 I usually delete all files inside this directory and in this way force |
125 ammonite to be in a consistent state. |
125 ammonite to be in a consistent state. |
126 |
126 |
|
127 \subsection*{Warnings in CW2 (A)} |
|
128 |
|
129 If you introduce new values for example for the \texttt{NTIMES} and \texttt{PLUS} regular expressions, then do \emph{not} call the values \texttt{Ntimes}, \texttt{Plus}. Rather call them \texttt{Pls} and \texttt{Ntms}. This avoids problems for filesystems that do not distinguish between uppercase and lowercase letters. |
|
130 |
|
131 \subsection*{Warnings in CW2 (B)} |
|
132 |
|
133 If you get a warning about \texttt{\$} being not defined infix, then define the |
|
134 extension method with |
|
135 |
|
136 \begin{center} |
|
137 \texttt{infix def \$ (r: Rexp) = RECD(s, r)} %$ |
|
138 \end{center} |
|
139 |
127 \end{document} |
140 \end{document} |
128 |
141 |
129 %%% Local Variables: |
142 %%% Local Variables: |
130 %%% mode: latex |
143 %%% mode: latex |
131 %%% TeX-master: t |
144 %%% TeX-master: t |