• vivian's avatar
    :script file scripts in GHCi #1363 · eccb2d89
    vivian authored
    This patch adds the script command in GHCi
    
    A file is read and executed as a series of GHCi commands.
    
    Execution terminates on the first error.  The filename and
    line number are included in the error.
    eccb2d89
ghci.xml 113 KB