ccallConvAttribute: use __attribute__((__stdcall__)) rather than
__stdcall (the latter is Win32-specific).
\begin{code}
ccallConvAttribute :: CCallConv -> String
\begin{code}
ccallConvAttribute :: CCallConv -> String
-ccallConvAttribute StdCallConv = "__stdcall"
+ccallConvAttribute StdCallConv = "__attribute__((__stdcall__))"
ccallConvAttribute CCallConv = ""
\end{code}
ccallConvAttribute CCallConv = ""
\end{code}