Daniel Gröber
|
f311efd90c
|
Rework GhcModT monad stack
|
2014-08-06 19:38:42 +02:00 |
|
Kazu Yamamoto
|
f95f7f89ce
|
removing warnings of Emacs Lisp.
|
2014-08-06 20:50:50 +09:00 |
|
Kazu Yamamoto
|
235b4965f9
|
Merge pull request #299 from serras/master
Automatic completion using Djinn
|
2014-08-06 20:39:56 +09:00 |
|
Alejandro Serrano
|
b626d4f236
|
Move refine to C-c C-f. Fixes #300
|
2014-08-05 09:05:19 +02:00 |
|
Alejandro Serrano
|
43ac9036f9
|
Fixes on GHC < 7.8
|
2014-08-04 17:25:18 +02:00 |
|
Alejandro Serrano
|
d1a6618329
|
More package fixes for GHC < 7.8
|
2014-08-03 20:38:54 +02:00 |
|
Alejandro Serrano
|
d22e50d9e4
|
Small fix to compile in GHC < 7.8
|
2014-08-03 19:57:01 +02:00 |
|
Alejandro Serrano
|
7beea26082
|
Bump djinn-ghc version
|
2014-08-03 19:34:47 +02:00 |
|
Alejandro Serrano
|
9cc6476df1
|
Add better support for auto, with several options searched
|
2014-08-03 19:14:42 +02:00 |
|
Alejandro Serrano
|
5623c62200
|
Support for multiple completions in Emacs
|
2014-08-02 10:27:40 +02:00 |
|
Alejandro Serrano
|
3aa83e14dd
|
Show more than one Djinn completion
|
2014-08-02 09:52:36 +02:00 |
|
Alejandro Serrano
|
31a7ce3d19
|
Merge remote-tracking branch 'kazu/master'
|
2014-08-01 17:08:50 +02:00 |
|
Alejandro Serrano
|
9161757f95
|
First attempt to add auto
|
2014-08-01 17:08:23 +02:00 |
|
Kazu Yamamoto
|
d136fb4d67
|
fix #273.
|
2014-08-01 17:01:01 +09:00 |
|
Kazu Yamamoto
|
d1daf6def9
|
Merge pull request #296 from serras/master
Add refinement and better support for typed holes in Emacs mode
|
2014-08-01 15:14:50 +09:00 |
|
Kazu Yamamoto
|
e42c066035
|
Merge pull request #298 from bicycle1885/escape
interpret backslash-escaped characters at the line boundary
|
2014-08-01 14:54:44 +09:00 |
|
Kenta Sato
|
92651fbb26
|
interpret backslash-escaped characters at the line boundary
|
2014-07-30 12:03:58 +09:00 |
|
Alejandro Serrano
|
e3853a49f1
|
Add fix for GHC 7.4
|
2014-07-27 14:11:54 +02:00 |
|
Alejandro Serrano
|
32367fba4c
|
Create links to files in typed holes information
|
2014-07-27 14:07:18 +02:00 |
|
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 |
|