Commit Graph

1837 Commits

Author SHA1 Message Date
Daniel Gröber
459106a6d5 Clean up Find.hs a bit 2014-08-06 19:38:42 +02:00
Daniel Gröber
fb6def45b7 Add temporary workaround for monad-journal
.. just until upstream uploads the changes to hackage
2014-08-06 19:38:42 +02:00
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