|
@@ -350,7 +350,7 @@ Element function set_merge(a : Element, b : Element):
|
|
|
set_add(a, set_pop(b))
|
|
|
return a!
|
|
|
|
|
|
-Element make_reverse_dictionary(dict : Element):
|
|
|
+Element function make_reverse_dictionary(dict : Element):
|
|
|
Element keys
|
|
|
Element reverse
|
|
|
String key
|
|
@@ -360,8 +360,10 @@ Element make_reverse_dictionary(dict : Element):
|
|
|
while (read_nr_out(keys) > 0):
|
|
|
key = set_pop(keys)
|
|
|
key = cast_id2s(key)
|
|
|
+ log("Invert " + cast_v2s(dict[key]))
|
|
|
if (dict_in(reverse, key)):
|
|
|
dict_delete(reverse, key)
|
|
|
dict_add(reverse, key, dict[key])
|
|
|
|
|
|
- return reverse
|
|
|
+ log("Created inverse dictionary")
|
|
|
+ return reverse!
|