Commit Graph

55 Commits

Author SHA1 Message Date
HIBINO Kei
748c57f0c1 Switch when using cabal-dev case. Bugfix of cabal-dev case. 2011-11-14 19:20:02 +09:00
HIBINO Kei
21441da080 Switch from packageConfs and useUserPackageConf into ghcOpts. 2011-11-14 18:12:18 +09:00
khibino
bf7b01e432 Update help message. 2011-11-02 17:44:29 +09:00
khibino
3db0d17352 Merge branch 'master' into ghc_option 2011-11-02 17:20:43 +09:00
khibino
1fb0d1d4a8 Remove check includes option of ghc-mod check command. Now, we can pass all ghc options to ghc-mod check. 2011-11-02 16:23:19 +09:00
Kazu Yamamoto
b23941fafe fixing manual. 2011-10-20 11:24:25 +09:00
Kazu Yamamoto
ad1b959820 ver bumps up.
We will break backward compatibility.
2011-10-20 11:22:24 +09:00
khibino
cbed907038 Simply passing GHC options to ghc-mod check command. 2011-10-19 19:09:36 +09:00
Kazu Yamamoto
8051e7df2e ver bumps up. 2011-10-19 15:52:18 +09:00
Kazu Yamamoto
dbdcf9841e Supporting GHC 7.2.1! 2011-08-24 15:58:12 +09:00
Kazu Yamamoto
26c0d77c79 ver up. 2011-08-03 10:31:00 +09:00
Andrew Sackville-West
b6d99e279c implement includes options for check 2011-08-02 11:18:07 -07:00
Takano Akio
ad55168265 adding options: --package-conf and --no-user-package-conf
These command line options work just like the similar-named GHC flags.
They are useful when working with non-standard package databases.
2011-05-28 06:06:13 +09:00
Kazu Yamamoto
ce1123395b ver up. 2011-05-24 16:01:47 +09:00
Kazu Yamamoto
8bb0c27b0b ver up. 2011-04-12 15:07:15 +09:00
Kazu Yamamoto
4de6cb3d43 version up. 2011-03-19 11:07:17 +09:00
Kazu Yamamoto
7ad9cca220 version 0.5.3. 2011-01-31 10:43:32 +09:00
Kazu Yamamoto
0cda133040 -o option to display operators, too. 2011-01-27 14:29:39 +09:00
Kazu Yamamoto
8d286c7f43 verion 0.5.1. 2010-11-29 17:15:42 +09:00
Kazu Yamamoto
39409f2239 "info" and "type" can display it even if the source file is broken. 2010-11-17 17:07:33 +09:00
Kazu Yamamoto
11f1341fe5 defining "info" for "ESC i". 2010-11-15 14:46:59 +09:00
Kazu Yamamoto
fc67daae89 version 0.5.0. 2010-11-15 12:48:01 +09:00
Kazu Yamamoto
8760f6b714 info -> type. 2010-11-12 16:32:20 +09:00
Kazu Yamamoto
9467a5d22e type check. 2010-11-12 16:27:50 +09:00
Kazu Yamamoto
c234e4547f version 0.4.4. 2010-07-16 19:48:42 +09:00
Kazu Yamamoto
48b54d2fcd usage hack. 2010-06-14 15:38:56 +09:00
Kazu Yamamoto
91859329ae pretty print for extra info. 2010-06-14 14:42:17 +09:00
Kazu Yamamoto
d5763f70dc hlint. 2010-06-14 14:30:56 +09:00
Kazu Yamamoto
f30eb343b0 hlint options can be specified from ghc-hlint-options. 2010-06-14 11:56:35 +09:00
Kazu Yamamoto
dec8ab5134 verion up. 2010-06-08 11:23:43 +09:00
Kazu Yamamoto
740ab2a054 Using HLint API!. 2010-06-08 11:12:59 +09:00
Kazu Yamamoto
cf16c62c3a adding ghc-command.el in cabal. 2010-05-12 09:56:09 +09:00
Kazu Yamamoto
bb363c92e7 integrating hlint. 2010-05-06 15:29:55 +09:00
Kazu Yamamoto
85fdba4ffa check file for "check". 2010-05-06 13:14:17 +09:00
Kazu Yamamoto
6c5e5a55d9 the boot command. 2010-05-04 12:47:55 +09:00
Kazu Yamamoto
5c4ded0630 Param -> Types. 2010-04-30 18:36:31 +09:00
Kazu Yamamoto
17a97aa1dd GHC API for list! 2010-04-30 18:17:20 +09:00
Kazu Yamamoto
20e68337d8 browse takes a list of modules. 2010-04-30 16:27:10 +09:00
Kazu Yamamoto
2345765077 -fno-code and no outputDir. 2010-04-29 12:39:48 +09:00
Kazu Yamamoto
fb7f0c9802 removing ghc and ghci options. 2010-04-28 23:28:33 +09:00
Kazu Yamamoto
34534e07ff removing *.o file so that C-xC-s surely works. 2010-04-28 10:05:45 +09:00
Kazu Yamamoto
b8b22daba9 version up. 2010-04-23 18:39:52 +09:00
Kazu Yamamoto
efd71c5d81 hlint. 2010-04-23 18:09:38 +09:00
Kazu Yamamoto
5e5f995661 update help. 2010-04-11 12:25:28 +09:00
Kazu Yamamoto
4202ca1ea2 supporting "lang" command. 2010-04-02 14:40:06 +09:00
Kazu Yamamoto
71e0f54889 upgrading GHC 6.12 2010-03-31 13:06:47 +09:00
Kazu Yamamoto
fd04ebfe11 output-dir. 2010-03-12 00:20:02 +09:00
Kazu Yamamoto
ed5d50b6f9 introducing -i, -g, and -p. 2010-03-11 22:39:07 +09:00
Kazu Yamamoto
1e445097b7 integrating flymake. 2010-03-11 19:03:17 +09:00
Kazu Yamamoto
5e7c7aa87d usage hack. 2010-03-10 18:31:07 +09:00