Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

New paragraph for example.

  • Loading branch information...
commit 6e8e61cfd60dd5e5aee76dac96e93962622ea24c 1 parent 671056c
@marcotmarcot authored
Showing with 3 additions and 1 deletion.
  1. +3 −1 marcot.tex
View
4 marcot.tex
@@ -186,7 +186,9 @@ \section{Defining special purpose instances}
very inconvenient, since the usage of an overloaded function for a type would be
lost in some parts of the program. Also, it is not very useful, since each polymorphic
functions that use this instance will have to be instantiated in the module it was defined, that is, they can not be exported to another module as a polymorphic function,
- to avoid instance conflict in an upper module on the import tree. For example, in the \texttt{Main} module defined
+ to avoid instance conflict in an upper module on the import tree.
+
+For example, in the \texttt{Main} module defined
in Figure \ref{main} the overloaded function \texttt{g} cannot be used. Either
\texttt{g1}, defined at module \texttt{I1} in Figure \ref{I1}; or \texttt{g2},
defined at module \texttt{I2} in Figure \ref{I2} would have to be used. The
Please sign in to comment.
Something went wrong with that request. Please try again.