Alejandro Serrano
|
323c1b5471
|
Initial support for adding body from signature
|
2014-06-10 21:34:05 +02:00 |
|
Alejandro Serrano
|
6854d417c0
|
Initial implementation of case splitting
- It doesn't handle vars correctly yet
|
2014-06-08 12:33:13 +02:00 |
|
Daniel Gröber
|
f1535efcf2
|
Ghc -> GhcMod: Browse, Check
|
2014-05-14 17:06:29 +02:00 |
|
Kazu Yamamoto
|
186485577d
|
bootInfo as API.
|
2014-04-30 10:49:25 +09:00 |
|
Kazu Yamamoto
|
c45415a367
|
cleaning up check, splice flag and logger.
|
2014-04-26 17:54:15 +09:00 |
|
Kazu Yamamoto
|
6cca65b11e
|
ghc-mod find (#203).
|
2014-04-24 21:08:45 +09:00 |
|
Kazu Yamamoto
|
1006cd4eec
|
APIs in Ghc monad now go to GHCMod.Ghc.
|
2014-04-21 12:51:56 +09:00 |
|
Kazu Yamamoto
|
2f55a19d49
|
cleaning up APIs.
|
2014-04-21 12:46:14 +09:00 |
|
Kazu Yamamoto
|
df4dd97e48
|
ghc-mod debug does not need a file.
|
2014-04-21 11:31:15 +09:00 |
|
Kazu Yamamoto
|
2dd7bab9b2
|
packageDoc for sandbox.
|
2014-03-27 16:22:49 +09:00 |
|
Kazu Yamamoto
|
4ad1c5e276
|
exporting lint.
|
2014-03-27 10:34:30 +09:00 |
|
Kazu Yamamoto
|
ee6dc2fc47
|
ghc-mod root.
|
2014-03-20 16:21:48 +09:00 |
|
Kazu Yamamoto
|
668e9e4771
|
Removing GHCVersion.
|
2013-09-20 17:21:10 +09:00 |
|
Kazu Yamamoto
|
8117167f78
|
exporting LineSeparator.
|
2013-09-03 14:47:34 +09:00 |
|
Kazu Yamamoto
|
eb34a5372e
|
fixing markup.
|
2013-05-21 21:38:19 +09:00 |
|
Kazu Yamamoto
|
089d490607
|
writing docs.
|
2013-05-20 14:28:56 +09:00 |
|
Kazu Yamamoto
|
849c308e5c
|
Separating IO and Ghc.
|
2013-05-20 11:29:44 +09:00 |
|
mvoidex
|
f2f3b120af
|
Moving commands to Ghc monad
|
2013-05-19 01:16:37 +04:00 |
|
Kazu Yamamoto
|
bac4bbbcf3
|
Changing GHCMod as a library.
|
2013-05-17 10:00:01 +09:00 |
|