Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 6687fb49 authored by POTTIER Francois's avatar POTTIER Francois

Documentation: removed [@opaque] in the mapreduce visitor.

parent 4ca69b89
......@@ -439,7 +439,6 @@ when it is applicable, for reasons of clarity and efficiency.
% TEMPORARY could remove @opaque after we implement VisitorsRuntime.mapreduce properly
\caption{A visitor of the \mapreduce variety}
type 'info expr_node =
| EConst of (int[@opaque])
| EConst of int
| EAdd of 'info expr * 'info expr
and 'info expr =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment