Commit 15bff260 authored by Simon Marlow's avatar Simon Marlow
Browse files

clarify that marshallable foreign result types can be synonyms

parent 8a29a8a0
......@@ -426,7 +426,7 @@ The argument types \(\textit{at}_i\) produced by "fatype" must be
\begin{itemize}
\item a basic foreign type,
\item a type synonym of a marshallable foreign type,
\item a type synonym that expands to a marshallable foreign type,
\item a type "T t'_1 ... t'_n" where "T" is defined by a @newtype@ declaration
......@@ -455,9 +455,10 @@ The result type \textit{rt} produced by "frtype" must be a
\emph{marshallable foreign result type;} that is, either
\begin{itemize}
\item a marshallable foreign type,
\item the type @()@,
\item a type matching @Prelude.IO @$t$, where $t$ is a marshallable foreign type or @()@,
\item a basic foreign type,
\item a type synonym that expands to marshallable foreign result type,
\item a type "T t'_1 ... t'_n" where "T" is defined by a @newtype@ declaration
\begin{quote}
......
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