Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							c78274f7f6
							
						
					 | 
					
						
						
							
							Try to fix each error only once
						
						
						
						
						
					 | 
					
						2014-08-29 19:25:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							607919e815
							
						
					 | 
					
						
						
							
							making case-split work even if the target is highlighted.
						
						
						
						
						
					 | 
					
						2014-08-20 14:44:24 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a483f4f8b6
							
						
					 | 
					
						
						
							
							error messages are stored after NG, not printed in stderr.
						
						
						
						
						
					 | 
					
						2014-08-19 14:56:01 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0fd8b9afd8
							
						
					 | 
					
						
						
							
							first try to resolve #322.
						
						
						
						
						
					 | 
					
						2014-08-18 16:55:41 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f799ff1ee8
							
						
					 | 
					
						
						
							
							using force-mode-line-update just in case.
						
						
						
						
						
					 | 
					
						2014-08-18 15:42:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							890658f9cb
							
						
					 | 
					
						
						
							
							Fix merge conflict, dropdown-list no longer needed
						
						
						
						
						
					 | 
					
						2014-08-14 18:02:58 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							8eeeacd58d
							
						
					 | 
					
						
						
							
							Case splitting in M-t and initial-code in C-u M-t
						
						
						
						
						
					 | 
					
						2014-08-14 17:59:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							7ecb66f32e
							
						
					 | 
					
						
						
							
							Do not use dropdown-list for automatic completion
						
						
						
						
						
					 | 
					
						2014-08-14 17:49:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							7315dff801
							
						
					 | 
					
						
						
							
							Make completion from Djinn use a dropdown list
						
						
						
						
						
						
						
						Fixes #312 
						
					 | 
					
						2014-08-12 23:01:37 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							eec1419040
							
						
					 | 
					
						
						
							
							Make M-t run also code generation and case splitting
						
						
						
						
						
						
						
						Fixes #308 
						
					 | 
					
						2014-08-12 22:44:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f95f7f89ce
							
						
					 | 
					
						
						
							
							removing warnings of Emacs Lisp.
						
						
						
						
						
					 | 
					
						2014-08-06 20:50:50 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							b626d4f236
							
						
					 | 
					
						
						
							
							Move refine to C-c C-f. Fixes #300
						
						
						
						
						
					 | 
					
						2014-08-05 09:05:19 +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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d136fb4d67
							
						
					 | 
					
						
						
							
							fix #273.
						
						
						
						
						
					 | 
					
						2014-08-01 17:01:01 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							32367fba4c
							
						
					 | 
					
						
						
							
							Create links to files in typed holes information
						
						
						
						
						
					 | 
					
						2014-07-27 14:07:18 +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
							
						 
					 | 
					
						
						
						
						
							
						
						
							2038127d04
							
						
					 | 
					
						
						
							
							Add docs to elisp code
						
						
						
						
						
					 | 
					
						2014-07-20 13:40:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							efe440438b
							
						
					 | 
					
						
						
							
							Refinement in Emacs ghc-mode
						
						
						
						
						
					 | 
					
						2014-07-20 10:45:01 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							755fa41fc0
							
						
					 | 
					
						
						
							
							ver bumps up for ghc.el.
						
						
						
						
						
					 | 
					
						2014-07-15 11:54:39 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d68f7b2d18
							
						
					 | 
					
						
						
							
							removing a warning of elisp.
						
						
						
						
						
					 | 
					
						2014-07-07 10:34:20 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							648f914ac5
							
						
					 | 
					
						
						
							
							ghc-debug displays PATH env.
						
						
						
						
						
					 | 
					
						2014-07-07 10:34:06 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							5db4044f29
							
						
					 | 
					
						
						
							
							Use a struct for accessing initial info data
						
						
						
						
						
					 | 
					
						2014-07-02 17:04:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							3ef1979f67
							
						
					 | 
					
						
						
							
							Case splitting works in Emacs!
						
						
						
						
						
					 | 
					
						2014-06-26 21:17:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							5fa536714f
							
						
					 | 
					
						
						
							
							Initial code generation working
						
						
						
						
						
						
						
						- Added fallback with haskell-src-exts 
						
					 | 
					
						2014-06-22 18:03:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							90abb89a98
							
						
					 | 
					
						
						
							
							Inserting instance initial body now works :)
						
						
						
						
						
					 | 
					
						2014-06-22 11:10:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							5a968225c3
							
						
					 | 
					
						
						
							
							Initial skeleton for case split in elisp
						
						
						
						
						
					 | 
					
						2014-06-17 18:15:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f9e912e425
							
						
					 | 
					
						
						
							
							fix #271
						
						
						
						
						
					 | 
					
						2014-06-16 10:21:15 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2d8faed072
							
						
					 | 
					
						
						
							
							using buffer-live-p (#256).
						
						
						
						
						
					 | 
					
						2014-05-14 06:45:31 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							94c4ae205d
							
						
					 | 
					
						
						
							
							setting sentinel.
						
						
						
						
						
					 | 
					
						2014-05-14 06:39:50 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7d81a357f7
							
						
					 | 
					
						
						
							
							making ghc-mod-running a global var (##255).
						
						
						
						
						
					 | 
					
						2014-05-14 05:25:37 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7af19f5400
							
						
					 | 
					
						
						
							
							fixing a comment.
						
						
						
						
						
					 | 
					
						2014-05-14 05:07:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							ce28a67e28
							
						
					 | 
					
						
						
							
							checking if the buffer exists (#256).
						
						
						
						
						
					 | 
					
						2014-05-14 05:05:49 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan O'Sullivan
							
						 
					 | 
					
						
						
						
						
							
						
						
							0650cbd359
							
						
					 | 
					
						
						
							
							Check Emacs version at start
						
						
						
						
						
						
						
						I ran into this when I tried to use ghc-mod with Emacs 24.2, and
got a mysterious error telling me that defvar-local was not defined. 
						
					 | 
					
						2014-04-30 16:19:23 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0d494f3c8e
							
						
					 | 
					
						
						
							
							(discard-input) avoids getting stuck.
						
						
						
						
						
					 | 
					
						2014-04-28 21:27:27 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							248a999f99
							
						
					 | 
					
						
						
							
							t of (sit-for 0.1 t) has a bug, so do not use it.
						
						
						
						
						
					 | 
					
						2014-04-28 09:13:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4d2ef23f33
							
						
					 | 
					
						
						
							
							passing 'ok/'ng to callback.
						
						
						
						
						
					 | 
					
						2014-04-27 21:51:44 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2aa47fc449
							
						
					 | 
					
						
						
							
							proper message for debugging.
						
						
						
						
						
					 | 
					
						2014-04-26 21:00:28 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f23b0db4df
							
						
					 | 
					
						
						
							
							"expand" specifies "-b".
						
						
						
						
						
					 | 
					
						2014-04-26 14:31:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							abc660cdfe
							
						
					 | 
					
						
						
							
							showing GHC version.
						
						
						
						
						
					 | 
					
						2014-04-25 22:03:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							3e812a8bfe
							
						
					 | 
					
						
						
							
							M-x ghc-debug.
						
						
						
						
						
					 | 
					
						2014-04-25 14:31:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f50e5229c4
							
						
					 | 
					
						
						
							
							NG contains an error.
						
						
						
						
						
					 | 
					
						2014-04-25 11:08:29 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4011826a6b
							
						
					 | 
					
						
						
							
							ver bumps up.
						
						
						
						
						
					 | 
					
						2014-04-24 22:22:23 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							e2369e6772
							
						
					 | 
					
						
						
							
							rescue the coming Emacs 24.4.
						
						
						
						
						
					 | 
					
						2014-04-24 17:14:10 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b9d4b9b66f
							
						
					 | 
					
						
						
							
							inserting template for type constructor.
						
						
						
						
						
					 | 
					
						2014-04-23 15:57:13 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b4bb249131
							
						
					 | 
					
						
						
							
							fixing M-t with test cases.
						
						
						
						
						
					 | 
					
						2014-04-23 14:51:29 +09:00 | 
					
					
						
						
							
							
							
						
					 |