Touch files 5 seconds into the future

Author: cmears

haskell-commands.el

@@ -162,7 +162,20 @@ Use to update mtime on BUFFER's file."
            (format ":!%s %s"
                    "touch"
                    (shell-quote-argument (buffer-file-name
-                                          (cdr state))))))
+                                          (cdr state)))))
+          ;; Set the mtime five seconds into the future, so that ghci
+          ;; will actually reload it.
+          (haskell-process-send-string
+           (car state)
+           (if (eq system-type 'darwin)
+               (format ":!%s -A 05 %s"
+                       "touch"
+                       (shell-quote-argument (buffer-file-name
+                                              (cdr state))))
+             (format ":!%s -d '+5 seconds' %s"
+                       "touch"
+                       (shell-quote-argument (buffer-file-name
+                                              (cdr state)))))))
     :complete (lambda (state _)
                 (with-current-buffer (cdr state)
                   (clear-visited-file-modtime))))))