[nem-pl] in_tail_position

Lukasz Kaiser kaiser at tenet.pl
Thu Mar 11 01:02:55 CET 2004


Hej.

Michal, moglbys mi napisac co dokladnie oznacza in_tail_position
i w jaki sposob jest nadawane ? Ogladam sobie tyexpr.n ale niestety
nie widze. Moglbys mi powiedziec, jak to sie dzieje ze np. w funkcji
def insertTree (t, m : int) {
  match (t) {
      | Leaf (n) => Tree ( Leaf (n), Leaf (m), m )  ;
      | Tree (l,r,n) => if (n < m) insertTree (r, m) else insertTree (l,m) ;
  } ;
} ;
te wywolania sa rozpoznawane jako ogonowe (niezaleznie od tego, ze funkcja jest
bez sensu) ? 

- lk





More information about the devel-pl mailing list