Skip to content
  • Stefan Holdermans's avatar
    Allow GHCi :script file names in double quotes · a0b79e1b
    Stefan Holdermans authored and Marge Bot's avatar Marge Bot committed
    This patch updates the user interface of GHCi so that file names passed
    to the ':script' command can be wrapped in double quotes.
    
    For example:
    
      :script "foo bar.script"
    
    The implementation uses a modified version of 'words' that treats
    character sequences enclosed in double quotes as single words.
    
    Fixes #18027.
    a0b79e1b