Alejandro Serrano
|
f1d0436467
|
Remove case splitting for type families
|
2014-07-27 12:20:46 +02:00 |
|
Alejandro Serrano
|
f0c44e4850
|
Hihlight only hole when found
|
2014-07-27 11:49:10 +02:00 |
|
Alejandro Serrano
|
ccb9980436
|
Display only hole information when navigating it
|
2014-07-27 11:19:16 +02:00 |
|
Alejandro Serrano
|
82f7fd62f0
|
Add special commands for navigating holes
|
2014-07-27 11:10:37 +02:00 |
|
Alejandro Serrano
|
5cc884ef47
|
Split window when showing the errors buffer
|
2014-07-27 10:52:40 +02:00 |
|
Alejandro Serrano
|
952f0b7e95
|
Add new fringe for typed holes
|
2014-07-26 13:40:40 +02:00 |
|
Alejandro Serrano
|
9b500da4b8
|
Another try at case split for type families
|
2014-07-26 13:07:45 +02:00 |
|
Alejandro Serrano
|
3fb9163011
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-25 17:12:39 +02:00 |
|
Kazu Yamamoto
|
07e461ff82
|
cleaning up conditions.
|
2014-07-25 13:34:20 +09:00 |
|
Alejandro Serrano
|
9b38818f66
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-24 20:21:44 +02:00 |
|
Alejandro Serrano
|
361fe24be0
|
Start case splitting on type families (NOT working)
|
2014-07-24 20:21:05 +02:00 |
|
Alejandro Serrano
|
d9c6638493
|
Work on initial signature for type families
|
2014-07-24 20:20:30 +02:00 |
|
Kazu Yamamoto
|
10ef20b967
|
Merge pull request #293 from DanielG/dev-exec-path
Fall back to getProgName when exeutable name is not available
|
2014-07-21 11:11:25 +09:00 |
|
Kazu Yamamoto
|
3072ffb1cc
|
Merge pull request #294 from DanielG/dev-api-doc
Document exposed parts of GhcMod.Monad
|
2014-07-21 11:09:42 +09:00 |
|
Daniel Gröber
|
0736516512
|
Document exposed parts of GhcMod.Monad
|
2014-07-21 00:27:12 +02:00 |
|
Daniel Gröber
|
ba9c70dff7
|
Fall back to assuming ghc-mid is on PATH when exeutable name is not available
|
2014-07-20 23:50:32 +02:00 |
|
Alejandro Serrano
|
2038127d04
|
Add docs to elisp code
|
2014-07-20 13:40:08 +02:00 |
|
Alejandro Serrano
|
eb5ec73ae1
|
Complete parenthesis on refinement
|
2014-07-20 13:33:36 +02:00 |
|
Alejandro Serrano
|
54d10684b9
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-20 10:45:28 +02:00 |
|
Alejandro Serrano
|
efe440438b
|
Refinement in Emacs ghc-mode
|
2014-07-20 10:45:01 +02:00 |
|
Alejandro Serrano
|
ae49eab547
|
First steps in refinement
|
2014-07-19 12:11:34 +02:00 |
|
Alejandro Serrano
|
60e97d4579
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-19 10:13:19 +02:00 |
|
Kazu Yamamoto
|
981051a642
|
implementing fallback from Simple to Intelligent.
|
2014-07-19 11:53:05 +09:00 |
|
Kazu Yamamoto
|
5abd75ea7d
|
fixing a infinite process loop.
|
2014-07-19 11:50:12 +09:00 |
|
Alejandro Serrano
|
6302d4882e
|
Merge remote-tracking branch 'kazu/master'
Conflicts:
Language/Haskell/GhcMod/Check.hs
Language/Haskell/GhcMod/FillSig.hs
Language/Haskell/GhcMod/GHCApi.hs
|
2014-07-18 17:12:52 +02:00 |
|
Alejandro Serrano
|
852d742796
|
Continue work on refinement
|
2014-07-18 17:09:02 +02:00 |
|
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
|
e1d9c3b881
|
clean up lookupSymbol.
|
2014-07-18 15:13:30 +09:00 |
|
Kazu Yamamoto
|
6d42354a5b
|
setMode and getMode
|
2014-07-18 14:55:21 +09:00 |
|
Kazu Yamamoto
|
7b079896b1
|
doc sectioning.
|
2014-07-18 14:55:08 +09:00 |
|
Kazu Yamamoto
|
26316262aa
|
converting GhcMonad to IOish.
|
2014-07-18 14:54:39 +09:00 |
|
Kazu Yamamoto
|
233f4cf05e
|
moving setFlags to Gap.
|
2014-07-18 11:09:11 +09:00 |
|
Kazu Yamamoto
|
0ce70ae22d
|
set Opt_SpecConstr just in case.
|
2014-07-18 10:52:57 +09:00 |
|
Kazu Yamamoto
|
2f0c8b1293
|
Merge pull request #289 from DanielG/dev-find-fork
Use `getExecutablePath` instead of relying on ghc-mod being on the PATH
|
2014-07-17 23:45:05 +09:00 |
|
Daniel Gröber
|
3c04e78ba7
|
Don't rely on ghc-mod being in PATH
|
2014-07-17 16:17:17 +02:00 |
|
Daniel Gröber
|
c3b959a8e5
|
Add FindSpec
|
2014-07-17 16:16:12 +02:00 |
|
Daniel Gröber
|
3c1b560068
|
Short circuit export list when compiling spec
|
2014-07-17 16:15:02 +02:00 |
|
Daniel Gröber
|
0e17e8e15a
|
Add a CPP macro when compiling modules for the test suite
|
2014-07-17 16:14:35 +02:00 |
|
Daniel Gröber
|
4f0f5f09a6
|
Remove type Db it's only used once and makes things less clear
|
2014-07-17 15:54:59 +02:00 |
|
Daniel Gröber
|
15e288decf
|
Remove some redundant stuff from test suite
|
2014-07-17 15:53:04 +02:00 |
|
Daniel Gröber
|
e61aaed023
|
Make readProcess'more generic
|
2014-07-17 15:52:33 +02:00 |
|
Kazu Yamamoto
|
cffa7463eb
|
adopting hlint's suggestions.
|
2014-07-17 17:16:44 +09:00 |
|
Kazu Yamamoto
|
05f45f1d36
|
adding error handling.
|
2014-07-17 14:40:35 +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 |
|
Alejandro Serrano
|
b21fa674ea
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-17 06:59:29 +02:00 |
|
Alejandro Serrano
|
c3722f7a20
|
Include 'refine' again
|
2014-07-17 06:59:10 +02:00 |
|
Kazu Yamamoto
|
409bc99f10
|
error handling for loadSymbolDb.
|
2014-07-17 12:37:38 +09:00 |
|
Kazu Yamamoto
|
a6f08fe79f
|
setupDB is now IO.
|
2014-07-17 12:25:10 +09:00 |
|