Eliminate duplicate flags in the tab completion of ghci's :set command.
authorJudah Jacobson <judah.jacobson@gmail.com>
Thu, 16 Oct 2008 01:57:21 +0000 (01:57 +0000)
committerJudah Jacobson <judah.jacobson@gmail.com>
Thu, 16 Oct 2008 01:57:21 +0000 (01:57 +0000)
commitec70c0a7512cd18ad08d23d69a8eea645fc8f2cf
tree8315fb03bb34a821a2cff525046b7d2a10563807
parent9c57dc586394c178c848ee8fb5618a2cb807912e
Eliminate duplicate flags in the tab completion of ghci's :set command.
compiler/ghci/InteractiveUI.hs