Hello,
On 8/22/06, John Meacham <[EMAIL PROTECTED]> wrote:
I am not talking about type signatures, I am talking about having to
annotate in the middle of a term.
f x y | x `member` map g freeVars y =
having to become
f x y | x `member` map g (freeVars y :: [Id]) =
There is no ne
On Tue, Aug 22, 2006 at 01:52:45PM -0700, Iavor Diatchki wrote:
> Hello,
> I agree that this is a small change, and I don't expect that it will happen.
>
> On 8/21/06, John Meacham <[EMAIL PROTECTED]> wrote:
> >Yeah, the change doesn't seem worth it to me. And I still have concerns
> >about ambigu
Hello,
I agree that this is a small change, and I don't expect that it will happen.
On 8/21/06, John Meacham <[EMAIL PROTECTED]> wrote:
Yeah, the change doesn't seem worth it to me. And I still have concerns
about ambiguity errors, if a beginner ever has to use an explicit type
signature it sort