the format of hlint options.

2014-03-28 13:44:44 +09:00 · 2014-03-28 13:44:44 +09:00 · 998464f585
commit 998464f585
parent 87926e699b
1 changed files with 3 additions and 1 deletions
--- a/src/GHCModi.hs
+++ b/src/GHCModi.hs
@ -3,7 +3,9 @@
 -- Commands:
 --  check <file>
 --  find <symbol>
--  lint <file> [hlint options]
+--  lint [hlint options] <file>
+--     the format of hlint options is [String] because they may contain
+--     spaces and aslo <file> may contain spaces.
 --
 -- Session separators:
 --   OK -- success