diff --git a/src/org/rascalmpl/library/Map.rsc b/src/org/rascalmpl/library/Map.rsc index c88045522cb..4512649e89f 100644 --- a/src/org/rascalmpl/library/Map.rsc +++ b/src/org/rascalmpl/library/Map.rsc @@ -157,7 +157,7 @@ int incr(int x) { return x + 1; } mapper(("apple": 1, "pear": 2, "orange": 3), prefix, incr); ``` } -public map[&K, &V] mapper(map[&K, &V] M, &L (&K) F, &W (&V) G) +public map[&L, &W] mapper(map[&K, &V] M, &L (&K) F, &W (&V) G) = (F(key) : G(M[key]) | &K key <- M);