On 31 March 2015 at 22:00, Jonathan S. Shapiro <[email protected]> wrote: > > The definition of f is not in scope. The only thing we know about f is > inferred from the application. It's a parameter, initially typed with a > fresh type variable and then refined by inference from the two > applications I gave. >
We either have the actual definition, or the imported type signature. What other option is there? K.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
