Fix #4424. Allow `-hide-all-packages` to be set dynamically.
authorThomas Schilling <nominolo@googlemail.com>
Thu, 21 Oct 2010 17:04:32 +0000 (17:04 +0000)
committerThomas Schilling <nominolo@googlemail.com>
Thu, 21 Oct 2010 17:04:32 +0000 (17:04 +0000)
commit9917b748b1adc255cc6d603bff5fe6d8df70d5fc
tree21176d5fb9412f2e4b3445efead30679dbacd892
parent2cd57ecd04108194f19e96a78d86c57c331ad869
Fix #4424.  Allow `-hide-all-packages` to be set dynamically.
compiler/main/Packages.lhs