On 29 July 2013 19:45, Jonathan S. Shapiro <[email protected]> wrote: > On Mon, Jul 29, 2013 at 2:36 AM, William ML Leslie > <[email protected]> wrote: >> >> You said: >> >> "Add the trait-instance as an argument ... to the module boundary". > > > I was mis-recollecting a paper by (I think) Bob Harper. What I was thinking > about wouldn't be tolerable in practice.
Ah, I was replying to David (who I was quoting three times there). David: you also forgot that the three emails I wrote last night were in reply to you, not Shap, when you said "Correct. We are talking about ..." because your earlier email (regarding explicit instances and inferring the need to be provided with an instance) was not about what you went on to discuss (inferring instances). So, nobody knows which typeclass instance this is, who is talking to who, or what certain emails were about. Confusion successfully achieved (: now to grab a coffee and formalise this thread in Agda. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely may reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to deny you those rights would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
