# HG changeset patch
# User haftmann
# Date 1281699834 -7200
# Node ID 58fc3a3af71f0b61f333a4c27e8b106ad5708c03
# Parent  f31678522745e35c58f575b273c1a9d2004f9566
added stub "If something utterly fails"

diff -r f31678522745 -r 58fc3a3af71f doc-src/Codegen/Thy/Introduction.thy
--- a/doc-src/Codegen/Thy/Introduction.thy	Thu Aug 12 20:11:13 2010 +0800
+++ b/doc-src/Codegen/Thy/Introduction.thy	Fri Aug 13 13:43:54 2010 +0200
@@ -111,6 +111,29 @@
   for more details see \secref{sec:further}.
 *}
 
+subsection {* If something utterly fails *}
+
+text {*
+  Under certain circumstances, the code generator fails to produce
+  code entirely.  
+
+  \begin{description}
+
+    \ditem{generate only one module}
+
+    \ditem{check with a different target language}
+
+    \ditem{inspect code equations}
+
+    \ditem{inspect preprocessor setup}
+
+    \ditem{generate exceptions}
+
+    \ditem{remove offending code equations}
+
+  \end{description}
+*}
+
 subsection {* Code generator architecture \label{sec:concept} *}
 
 text {*
diff -r f31678522745 -r 58fc3a3af71f doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Thu Aug 12 20:11:13 2010 +0800
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Fri Aug 13 13:43:54 2010 +0200
@@ -263,6 +263,32 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
+\isamarkupsubsection{If something utterly fails%
+}
+\isamarkuptrue%
+%
+\begin{isamarkuptext}%
+Under certain circumstances, the code generator fails to produce
+  code entirely.  
+
+  \begin{description}
+
+    \ditem{generate only one module}
+
+    \ditem{check with a different target language}
+
+    \ditem{inspect code equations}
+
+    \ditem{inspect preprocessor setup}
+
+    \ditem{generate exceptions}
+
+    \ditem{remove offending code equations}
+
+  \end{description}%
+\end{isamarkuptext}%
+\isamarkuptrue%
+%
 \isamarkupsubsection{Code generator architecture \label{sec:concept}%
 }
 \isamarkuptrue%