Iku Iwasa
|
3a88db6c2b
|
Update extract module regexp for unicode quotes
GHC-7.8.x uses U+2018 and U+2019 for quotes.
Also do not call ghc-resolve-document-path if module cannot be extracted
in case of local functions.
|
2014-11-29 12:11:06 +09:00 |
|
Kazu Yamamoto
|
f9e912e425
|
fix #271
|
2014-06-16 10:21:15 +09:00 |
|
Kazu Yamamoto
|
122c8da7b0
|
using ghc-add.
|
2014-04-19 20:09:47 +09:00 |
|
Kazu Yamamoto
|
87926e699b
|
M-C-d now can display the doc even in the sandbox.
|
2014-03-28 12:55:17 +09:00 |
|
Kazu Yamamoto
|
6ae822f00e
|
defining ghc-debug.
|
2014-03-14 14:01:07 +09:00 |
|
Kazu Yamamoto
|
92833da809
|
asking expression.
|
2013-05-20 17:04:18 +09:00 |
|
Kazu Yamamoto
|
929026cb6d
|
C-M-d now can display functions and types in a browser.
|
2013-04-02 15:20:20 +09:00 |
|
Kazu Yamamoto
|
6bac8141db
|
fixing a bug of doc-browsing.
|
2010-11-10 11:47:54 +09:00 |
|
Kazu Yamamoto
|
a5d12ad707
|
adding defstruct.
|
2010-10-28 16:24:45 +09:00 |
|
Daniel Schoepe
|
aaf72e536b
|
Fix breakage caused by previous commit
|
2010-10-27 21:45:15 +02:00 |
|
Daniel Schoepe
|
3017ea063e
|
Minor correction in ghc-resolve-package
|
2010-10-27 21:03:28 +02:00 |
|
Daniel Schoepe
|
562441deb6
|
Don't discard version number in ghc-resolve-package
and match last (i.e. newest) rather than first listed
package.
|
2010-10-27 20:55:31 +02:00 |
|
Kazu Yamamoto
|
c41e3e5cdf
|
bug fix for resolution of package name.
|
2010-07-16 19:46:15 +09:00 |
|
Kazu Yamamoto
|
0cdccce0ff
|
bug fix for resolution of package name.
|
2010-07-16 18:59:04 +09:00 |
|
Kazu Yamamoto
|
2e28a09aa9
|
defvar -> defconst.
|
2010-06-14 12:03:14 +09:00 |
|
Kazu Yamamoto
|
c4979bd04f
|
cosmetic change.
|
2010-05-04 16:35:40 +09:00 |
|
Kazu Yamamoto
|
f1a0e079db
|
get the latest path.
|
2010-03-11 14:15:28 +09:00 |
|
Kazu Yamamoto
|
4fd1aa963a
|
C-uM-C-d browse hackage.
|
2010-03-10 16:51:42 +09:00 |
|
Kazu Yamamoto
|
e9c4ec4e4b
|
ESC C-e to process the module.
|
2010-01-06 14:39:30 +09:00 |
|
Kazu Yamamoto
|
35f60507c6
|
initial import (v0.1)
|
2010-01-06 14:38:06 +09:00 |
|