[SCM] Lisaac documentation branch, master, updated. aec74076f6d7690549a868965787066188c97baf

[sonntag (none)]

The following commit has been merged in the master branch:
commit aec74076f6d7690549a868965787066188c97baf
Author: sonntag <sonntag at isaac.(none)>
Date:   Sat Sep 12 03:54:52 2009 +0200

    pb genericity ok

diff --git a/slides/lisaac.tex b/slides/lisaac.tex
index 5711333..4fc835d 100644
--- a/slides/lisaac.tex
+++ b/slides/lisaac.tex
@@ -666,7 +666,7 @@ orange := \textcolor{type}{ORANGE}.\textcolor{blue}{clone}; // \textcolor{red}{r
 \begin{block}{Declaration in header}
 \begin{alltt}
 \textcolor{red}{Section Header}\\
-~~\textcolor{red}{$+$} \textcolor{blue}{name} := \textcolor{type}{ARRAY E};\\
+~~\textcolor{red}{$+$} \textcolor{blue}{name} := \textcolor{type}{ARRAY(E)};\\
 \end{alltt}
 \end{block}
 
@@ -676,8 +676,8 @@ orange := \textcolor{type}{ORANGE}.\textcolor{blue}{clone}; // \textcolor{red}{r
 
 \begin{block}{Example}
 \begin{alltt}
-~~\textcolor{red}{$+$} bucket:\textcolor{type}{ARRAY FRUIT};\\
-~~bucket := \textcolor{type}{ARRAY FRUIT}.\textcolor{blue}{create} 2;\\
+~~\textcolor{red}{$+$} bucket:\textcolor{type}{ARRAY(FRUIT)};\\
+~~bucket := \textcolor{type}{ARRAY(FRUIT)}.\textcolor{blue}{create} 2;\\
 ~~bucket.\textcolor{blue}{put} \textcolor{type}{ORANGE} \textcolor{blue}{to} 1;\\
 ~~bucket.\textcolor{blue}{put} \textcolor{type}{APPLE} \textcolor{blue}{to} 2;
 \end{alltt}
@@ -1172,7 +1172,7 @@ $\leftarrow$ \ldots\\
 \begin{exampleblock}{Note}
 \begin{itemize}
 \item {\tt{}export} primitive is not transivity
-\item \textcolor{type}{ARRAY INTEGER} type $\Longrightarrow$
+\item \textcolor{type}{ARRAY(INTEGER)} type $\Longrightarrow$
   \textcolor{blue}{to\_array\_of\_integer} slot
 \end{itemize}
 \end{exampleblock}
@@ -1400,7 +1400,7 @@ The {\bf{}invariant} primitive uses the ``{\bf{}out-pattern}''
 \begin{block}{Invariant to end of prototype file}
 \begin{alltt}
 \textcolor{red}{Section Header}\\
-~~\textcolor{red}{$+$} \textcolor{blue}{name} := \textcolor{type}{COLLECTION E};\\
+~~\textcolor{red}{$+$} \textcolor{blue}{name} := \textcolor{type}{COLLECTION(E)};\\
 \textcolor{red}{Section Public}\\
 ~~\ldots\\
 ~~// {\it{}The end of file :}\\
@@ -1956,10 +1956,10 @@ is mandatory in \textcolor{red}{Section Private}
 \begin{alltt}
 \textcolor{red}{-} \textcolor{blue}{add\_lib} lib:\textcolor{type}{STRING} $<-$\\
 (~\textcolor{blue}{run} "echo $\backslash$"int main()\{ return(1); \}$\backslash$" $>$ \_t.c";\\
-~~(\textcolor{blue}{run} "gcc \_t.c"$+$lib$+$" 2$>$/dev/null"$=$0).\textcolor{blue}{if} \{\\
+~~(\textcolor{blue}{run}("gcc \_t.c"$+$lib$+$" 2$>$/dev/null")$=$0).\textcolor{blue}{if} \{\\
 ~~~~\textcolor{blue}{lib\_gcc} := \textcolor{blue}{lib\_gcc} $+$ " " $+$ lib;\\
 ~~\} \textcolor{blue}{else} \{\\
-~~~~"ERROR: `" $+$ lib $+$ "' lib not found.".\textcolor{blue}{print};\\
+~~~~("ERROR: `" $+$ lib $+$ "' lib not found.").\textcolor{blue}{print};\\
 ~~~~\textcolor{blue}{run} "rm \_t.c";~~\textcolor{blue}{exit};\\
 ~~\};\\
 );

-- 
Lisaac documentation