[nem-pl] zakres zmiennych w klasie

[Michal Moskal]

class Foo ('a) where 'a :> Bar ('a)
  {
    m (x : 'a) : 'a { x }

    static
      'a where 'a :> Bar ('a)  // (*)
      s (x : 'a) : 'a { x }
  }

Pytanie polega na tym, czy wymagać linijki (*), czy zakładać, że zmienne
zdefiniowane w klasie automatycznie przenoszą się na funkcje statyczne.
(z definicji przenoszą się na metody).

Z jednej strony wygodniej by się może pisało, z drugiej to *być może*
prowadzi do jakiś błędów.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: PLD Linux ::::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h