lambda-corpus.tex

\begin{figure}
\begin{lisp}
Définition 1: (function l/88 (if l/88
    (apply (field 36 (global Stdlib!)) (apply rev/87 (field 1 l/88))
      (makeblock 0 (field 0 l/88) 0a)) 0a))
Définition 2: (function l/88 (if l/88
    (apply (field 36 (global Stdlib!)) (apply rev/87 (field 1 l/88))
      (makeblock 0 (field 0 l/88) 0a)) 0a))
Définition 3: (function l/88 (catch
    (if l/88
      (if (field 1 l/88)
        (apply (field 36 (global Stdlib!)) (apply rev/87 (field 1 l/88))
          (makeblock 0 (field 0 l/88) 0a))
        (exit 12))
      (exit 12)) with (12) l/88))
Définition 4: (function l/88 (letrec (rev_aux/89
       (function acc/90 l/91
         (if l/91
           (apply rev_aux/89 (makeblock 0 (field 0 l/91) acc/90)
             (field 1 l/91))
           acc/90))) (apply rev_aux/89 0a l/88)))
Définition 5: (function l/88 (if l/88
    (letrec (rev2/91
         (function x/92 y/93
           (if y/93
             (apply rev2/91 (makeblock 0 (field 0 y/93) x/92) (field 1 y/93))
             x/92)))
      (apply rev2/91 0a l/88)) 0a))
Définition 6: (function l/88 (apply (field 20 (global Stdlib__list!))
    (function acc/146 x/147 (makeblock 0 x/147 acc/146)) 0a l/88))
\end{lisp}
\caption{Traduction du corpus dans le code {\LambdaCode} du compilateur~\OCaml.}
\label{fig:lambda-corpus}
\end{figure}