Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | {magr,klee}@cs.tu-berlin.de |
Predefined call stubs for run-time generated code.
Documentation
conv[a9IR] :: forall a[a9IK] b[a9IL] c[a9IM] d[a9IN] e[a9IO] f[a9IP] g[a9IQ]. FunPtr (Ptr a[a9IK] -> Ptr b[a9IL] -> Ptr c[a9IM] -> Ptr d[a9IN] -> Ptr e[a9IO] -> Ptr f[a9IP] -> Ptr g[a9IQ] -> ()) -> Ptr a[a9IK] -> Ptr b[a9IL] -> Ptr c[a9IM] -> Ptr d[a9IN] -> Ptr e[a9IO] -> Ptr f[a9IP] -> Ptr g[a9IQ] -> IO ()Source