
#10408: The behavior of -ignore-dot-ghci and -ghci-script are weird
-------------------------------------+-------------------------------------
Reporter: watashi | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.12.1
Component: GHCi | Version: 7.10.1
Resolution: fixed | Keywords:
Operating System: Linux | Architecture: x86
Type of failure: Incorrect result | Test Case:
at runtime | Blocking:
Blocked By: | Differential Revisions: Phab:D887
Related Tickets: |
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema