6 Oct
2001
6 Oct
'01
10:38 a.m.
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