--- branches/vis12/doc/report/types.tex 2012/07/16 01:01:19 1975
+++ branches/vis12/doc/report/types.tex 2012/07/16 14:44:57 1976
@@ -56,3 +56,16 @@
The syntax of a kernel type is \mbox{\kw{kernel}\kw{\#}$k$}, where
$k \geq 0$ gives the number of levels of differentiation supported by the
kernel.
+
+\section{Type promotion}
+Diderot's type system supports three kinds of \emph{implicit} type coercions that are
+added by the type checker when necessary:
+\begin{enumerate}
+ \item
+ Integer-typed expressions will be implicitly promoted to real-typed expressions.
+ \item
+ Static sequences will be implicitly promoted to dynamic sequences.
+ \item
+ A field-typed expression with continuity $k$ will be implicitly converted to a
+ field with lower continuity.
+\end{enumerate}%