diff --git a/src/GHCModi.hs b/src/GHCModi.hs index 912543a..1987237 100644 --- a/src/GHCModi.hs +++ b/src/GHCModi.hs @@ -3,7 +3,9 @@ -- Commands: -- check -- find --- lint [hlint options] +-- lint [hlint options] +-- the format of hlint options is [String] because they may contain +-- spaces and aslo may contain spaces. -- -- Session separators: -- OK -- success