Kazu Yamamoto
|
dc0519b16d
|
adding comment.
|
2013-03-05 15:26:33 +09:00 |
|
Kazu Yamamoto
|
a884e3444e
|
flymake hack for Emacs 23 or later.
|
2013-03-05 15:21:43 +09:00 |
|
Zsolt Dollenstein
|
cbb76a4d79
|
flymake no longer saves the buffer
|
2012-06-24 12:37:09 +02:00 |
|
Kazu Yamamoto
|
4207b80fdb
|
setting after-save-hook to nil in ghc-flymake-init.
|
2012-06-13 18:16:39 +09:00 |
|
Kazu Yamamoto
|
41fe35b691
|
integrating display functions.
|
2012-03-06 17:12:15 +09:00 |
|
Kazu Yamamoto
|
662bcb8126
|
path hack.
|
2012-03-06 16:03:47 +09:00 |
|
Kazu Yamamoto
|
1b2437a60e
|
reverting file path and C-cC-j.
|
2012-03-02 21:36:58 +09:00 |
|
Kazu Yamamoto
|
e795b35502
|
error "foo" instead of undefined.
|
2012-02-27 11:03:27 +09:00 |
|
Kazu Yamamoto
|
e875778b49
|
M-t insert "foo _ _ = undefined" for non-exhaustive pattern.
|
2012-02-27 11:01:18 +09:00 |
|
HIBINO Kei
|
fe13f74c16
|
Update elisps enable to pass ghc options widely.
|
2011-11-15 20:40:25 +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 |
|
khibino
|
cbed907038
|
Simply passing GHC options to ghc-mod check command.
|
2011-10-19 19:09:36 +09:00 |
|
Kazu Yamamoto
|
ac09c56cfd
|
Emacs 22 does not support :risky.
|
2011-08-03 11:18:35 +09:00 |
|
Andrew Sackville-West
|
b6d99e279c
|
implement includes options for check
|
2011-08-02 11:18:07 -07:00 |
|
Kazu Yamamoto
|
a4a3be93eb
|
inserting signature for GHC 7.
|
2011-03-25 13:00:08 +09:00 |
|
Kazu Yamamoto
|
d460ad2ed2
|
fixing the bug of "\n".
|
2011-03-07 11:03:48 +09:00 |
|
Kazu Yamamoto
|
09d465c428
|
fix a bug of gussed type.
|
2011-01-14 13:52:41 +09:00 |
|
Kazu Yamamoto
|
7e9d992def
|
perfect insertion of guessed type.
|
2011-01-14 13:38:12 +09:00 |
|
Kazu Yamamoto
|
0fd39e9b56
|
improving insertion of type for forall.
|
2010-11-10 17:03:56 +09:00 |
|
Kazu Yamamoto
|
b3523951c5
|
ask GHC for pretty printing to GHC instead of pretifying in Elisp.
|
2010-06-25 21:45:32 +09:00 |
|
Kazu Yamamoto
|
b3d9b12688
|
fixing a bug of func = undefined.
|
2010-06-25 20:31:46 +09:00 |
|
Kazu Yamamoto
|
266ac30133
|
pretty printing hack.
|
2010-06-21 11:31:06 +09:00 |
|
Kazu Yamamoto
|
b548f1dbcf
|
pretty print.
|
2010-06-14 15:39:26 +09:00 |
|
Kazu Yamamoto
|
91859329ae
|
pretty print for extra info.
|
2010-06-14 14:42:17 +09:00 |
|
Kazu Yamamoto
|
5296ccf38d
|
Extra info for GHC warnings.
|
2010-06-14 14:27:35 +09:00 |
|
Kazu Yamamoto
|
badaea4eff
|
M-t for hlint. An error/warning place is replaced with suggestion
but not perfect.
|
2010-06-14 14:26:14 +09:00 |
|
Kazu Yamamoto
|
2e28a09aa9
|
defvar -> defconst.
|
2010-06-14 12:03:14 +09:00 |
|
Kazu Yamamoto
|
f30eb343b0
|
hlint options can be specified from ghc-hlint-options.
|
2010-06-14 11:56:35 +09:00 |
|
Kazu Yamamoto
|
5dd3bb83eb
|
elisp hack for Hlint API.
|
2010-06-08 11:23:58 +09:00 |
|
Kazu Yamamoto
|
6e6e1c9ad7
|
Does not allow C-cC-c when hlint does not exist.
|
2010-05-29 13:33:54 +09:00 |
|
Kazu Yamamoto
|
2f1ab4e71d
|
replacing [Char] with String when inserting inferred type.
Johannes Krause <cjay>
|
2010-05-12 14:55:01 +09:00 |
|
Kazu Yamamoto
|
bb363c92e7
|
integrating hlint.
|
2010-05-06 15:29:55 +09:00 |
|
Kazu Yamamoto
|
baa65be4a6
|
insert foo = undefined if "No inferred type".
insert guessed type even if it is contains in second line or later.
|
2010-05-04 12:14:33 +09:00 |
|
Kazu Yamamoto
|
5c4ded0630
|
Param -> Types.
|
2010-04-30 18:36:31 +09:00 |
|
Kazu Yamamoto
|
27f42b6c90
|
use symbols.
|
2010-04-26 17:26:25 +09:00 |
|
Kazu Yamamoto
|
c574a48055
|
display hack.
|
2010-04-02 14:39:02 +09:00 |
|
Kazu Yamamoto
|
7518d60fcb
|
throw any menu. use a buffer to display errors instead.
|
2010-04-01 11:58:44 +09:00 |
|
Kazu Yamamoto
|
95218aae07
|
fix regex for warning.
|
2010-03-31 23:39:00 +09:00 |
|
Kazu Yamamoto
|
14ef0f8372
|
M-t inserts inferred type!
|
2010-03-14 22:39:45 +09:00 |
|
Kazu Yamamoto
|
793c999cd8
|
improving doc.
|
2010-03-12 13:39:38 +09:00 |
|
Kazu Yamamoto
|
2f20d1a9ac
|
hacking ghc-flymake-init.
|
2010-03-12 11:55:11 +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 |
|