Respect prompt in GhciSettings
authorZejun Wu <watashi@fb.com>
Wed, 19 Dec 2018 02:29:44 +0000 (18:29 -0800)
committerBen Gamari <ben@smart-cactus.org>
Sun, 6 Jan 2019 12:27:09 +0000 (07:27 -0500)
commit08b8ea2f4f1bbc1c61a7cca03ae7fa8ffb099556
tree239e207e36790d4c68b934f9f1510028ed764b7f
parentb565d418ff5f9501abecf130dafc2b9837460a96
Respect prompt in GhciSettings

Summary:
This was broken when PromptFunction was introduced that the settings are
ignored and default values are always used.

Test Plan: ./validate
ghc/GHCi/UI.hs