Browse files

Menciona semântica na intermediária da menção das instâncias nas listas.

  • Loading branch information...
1 parent 3f82c2f commit ecbbebb99bb7610ee4b059d2e00f1ae995691177 @marcotmarcot committed Nov 14, 2012
Showing with 3 additions and 2 deletions.
  1. +3 −2 marcot.tex
@@ -484,8 +484,9 @@ \section{Intermediate alternative}
The intermediate alternative differs from to the final alternative, just so as to be backwards compatible. In items (2), (5), (7), (10), (12) and (14) instances are
imported or exported. The only way to avoid an instance from being imported
is by using keyword \texttt{hiding} in an import list. There is no way to
-avoid an instance from being exported. In the intermediate alternative, (13) is valid and has
-the same effect as (12).
+avoid an instance from being exported.
+In the intermediate alternative, mentions of instances in the import and export lists are not considered if they are not on the hiding list.
+Therefore, (13) is valid and has the same effect as (12), and the same goes for items (3) and (8).
The semantics of the intermediate alternative can be expressed using the syntax
of the final

0 comments on commit ecbbebb

Please sign in to comment.