blob: 204ad3cbdda76b6a182e951583985bfdf9b842b9 (
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[Option[Int]]]) : Unit =
for (n <- sn)
map(n,ptr => Option(ptr.get));
}
|