blob: 927773d1e5f0704ba88876051fca11524e8f0dfb (
plain) (
blame)
1
2
3
4
5
6
7
|
object Test {
def map[A,R](a : List[A], f : A => R) : List[R] = a.map(f);
def split(sn : Iterable[List[Cell[int]]]) : unit =
for (val n <- sn)
map(n,ptr => new Cell(ptr.elem));
}
|