Jakub Žádník 40741254f6 Rewrite hiding system
Hiding definitions now should work correctly with repeated use of 'use',
'def' and 'hide' keywords.

The key change is that 'hide foo' will hide all definitions of foo
that were defined/used within the scope (those from other scopes are
still available). This makes the logic simpler and I found it leads to a
simpler mental map: you don't need to remember the order of defined/used
commands withing the scope -- it just hides all.
2021-10-10 13:18:47 +03:00
..
2021-10-10 05:58:33 +13:00
2021-10-09 19:40:47 +02:00
2021-10-01 18:11:49 +13:00
2021-10-09 19:40:47 +02:00
2021-10-01 18:11:49 +13:00
2021-10-10 13:18:47 +03:00