Kazu Yamamoto
|
0080f9b68c
|
Internal exports extra Monad stuff.
|
2014-07-18 15:42:05 +09:00 |
|
Kazu Yamamoto
|
30ddd655cd
|
export minimum Monad stuff from GhcMod.
|
2014-07-18 15:31:42 +09:00 |
|
Kazu Yamamoto
|
cf0df26560
|
Monad.hs is now exported by GhcMod.hs.
|
2014-07-17 14:30:42 +09:00 |
|
Kazu Yamamoto
|
74e84e89ac
|
deleting GhcMod.Ghc.
|
2014-07-17 14:04:28 +09:00 |
|
Daniel Gröber
|
4b6a687bc1
|
Migrate the remaining parts of the exposed API to GhcMod a
|
2014-07-11 03:13:38 +02:00 |
|
Alejandro Serrano
|
2ab6991d95
|
Move code to new FillSig module
- Clean up a lot of code
|
2014-06-27 18:38:15 +02:00 |
|
Alejandro Serrano
|
a45fb4c6f5
|
Move case split and sig. generation to own files
- Created SrcUtils module for shared functionality
|
2014-06-21 11:38:44 +02:00 |
|
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 |
|