Hi! Marcin wrote: > Juan Carlos Arévalo Baeza wrote: >> Karl-Filip wrote: >>>- a -> Bool (without quantification and with "IsNil a" among the >>> predicates). >> >> This is something I didn't understand either. Which predicates? > >I think "isNil a" goes to the context of the whole expression >containing the "let g = ..." (I'm not sure if Karl meant that).
Exactly what I meant! Then it goes into the context of "f" because "f" is defined using function syntax (formal parameters to the left of "=") so everybody knows it's a function so it doesn't hurt if it gets some extra arguments after dictionary insertion. /kff _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
