Alan Zimmerman
							
						 
					 | 
					
						
						
						
						
							
						
						
							0944820dba
							
						
					 | 
					
						
						
							
							CaseSplit panic sorted. closes https://github.com/kazu-yamamoto/ghc-mod/issues/336
						
						
						
						
						
					 | 
					
						2014-08-23 14:06:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d045001eb7
							
						
					 | 
					
						
						
							
							Letting "ghc-mod dumpsym" work on non-cabal directories.
						
						
						
						
						
					 | 
					
						2014-08-20 15:31:26 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							190dc2ac51
							
						
					 | 
					
						
						
							
							try to fix Travis CI.
						
						
						
						
						
					 | 
					
						2014-08-20 11:59:44 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							9456ea426d
							
						
					 | 
					
						
						
							
							fixing typos.
						
						
						
						
						
					 | 
					
						2014-08-19 17:18:36 +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
							
						 
					 | 
					
						
						
						
						
							
						
						
							ad3a42844d
							
						
					 | 
					
						
						
							
							Merge pull request #330 from DanielG/dev-error
						
						
						
						
						
						
						
						Remove dedicated exception handling in `check` completely 
						
					 | 
					
						2014-08-19 11:52:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							147dd90ee7
							
						
					 | 
					
						
						
							
							Remove dedicated exception handling in check completely
						
						
						
						
						
						
						
						Exceptions are already caught at the top level so this is unnecessary. 
						
					 | 
					
						2014-08-19 04:49:44 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							af6de8c849
							
						
					 | 
					
						
						
							
							Merge pull request #329 from DanielG/dev-error
						
						
						
						
						
						
						
						Remove `withErrorHandler`, use `liftExceptions` instead 
						
					 | 
					
						2014-08-19 11:41:44 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							1b5917c70e
							
						
					 | 
					
						
						
							
							Remove withErrorHandler, use liftExceptions instead
						
						
						
						
						
					 | 
					
						2014-08-19 04:30:44 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							5b78711842
							
						
					 | 
					
						
						
							
							Revert way to report errors when deferred as warnings
						
						
						
						
						
						
						
						Fixes #310 
						
					 | 
					
						2014-08-18 17:32:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0fd8b9afd8
							
						
					 | 
					
						
						
							
							first try to resolve #322.
						
						
						
						
						
					 | 
					
						2014-08-18 16:55:41 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							5a657b9df8
							
						
					 | 
					
						
						
							
							removing warnings
						
						
						
						
						
					 | 
					
						2014-08-18 15:24:38 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							271ff4e162
							
						
					 | 
					
						
						
							
							Catch cabal configure failure properly
						
						
						
						
						
					 | 
					
						2014-08-18 08:06:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							f5d051dcef
							
						
					 | 
					
						
						
							
							Remove toGhcModT it's not needed anymore.
						
						
						
						
						
					 | 
					
						2014-08-15 20:35:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							10042c6b0c
							
						
					 | 
					
						
						
							
							Fix for GHC 7.4
						
						
						
						
						
					 | 
					
						2014-08-15 11:00:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							57db768ed0
							
						
					 | 
					
						
						
							
							Fix for GHC 7.4
						
						
						
						
						
					 | 
					
						2014-08-15 10:46:52 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							f584bf5d5b
							
						
					 | 
					
						
						
							
							Show error messages without qualification
						
						
						
						
						
					 | 
					
						2014-08-15 10:43:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							6b62117381
							
						
					 | 
					
						
						
							
							Remove redundant typed hole warnings
						
						
						
						
						
					 | 
					
						2014-08-15 09:41:02 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							7612229cc0
							
						
					 | 
					
						
						
							
							Keep all errors and warnings for code
						
						
						
						
						
					 | 
					
						2014-08-15 09:32:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							fdbecdddce
							
						
					 | 
					
						
						
							
							Make better check in presence of typed holes
						
						
						
						
						
					 | 
					
						2014-08-14 20:51:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							890658f9cb
							
						
					 | 
					
						
						
							
							Fix merge conflict, dropdown-list no longer needed
						
						
						
						
						
					 | 
					
						2014-08-14 18:02:58 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							bd28310e59
							
						
					 | 
					
						
						
							
							Don't fall back to sandbox if cabal file failes to parse
						
						
						
						
						
					 | 
					
						2014-08-12 00:02:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							b13465b588
							
						
					 | 
					
						
						
							
							Some docs in CabalConfig.hs
						
						
						
						
						
					 | 
					
						2014-08-11 23:48:15 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							fad99f466f
							
						
					 | 
					
						
						
							
							Export GhcModError(..)
						
						
						
						
						
					 | 
					
						2014-08-06 20:40:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							9e4f1c9057
							
						
					 | 
					
						
						
							
							add note
						
						
						
						
						
					 | 
					
						2014-08-06 19:38:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							cb28e9ec8f
							
						
					 | 
					
						
						
							
							Fix warning
						
						
						
						
						
					 | 
					
						2014-08-06 19:38:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							c98eb23bdf
							
						
					 | 
					
						
						
							
							Clean up getSymbolTable a bit more
						
						
						
						
						
					 | 
					
						2014-08-06 19:38:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							459106a6d5
							
						
					 | 
					
						
						
							
							Clean up Find.hs a bit
						
						
						
						
						
					 | 
					
						2014-08-06 19:38:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							f311efd90c
							
						
					 | 
					
						
						
							
							Rework GhcModT monad stack
						
						
						
						
						
					 | 
					
						2014-08-06 19:38:42 +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
							
						 
					 | 
					
						
						
						
						
							
						
						
							9cc6476df1
							
						
					 | 
					
						
						
							
							Add better support for auto, with several options searched
						
						
						
						
						
					 | 
					
						2014-08-03 19:14:42 +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
							
						 
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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
							
						 
					 | 
					
						
						
						
						
							
						
						
							f1d0436467
							
						
					 | 
					
						
						
							
							Remove case splitting for type families
						
						
						
						
						
					 | 
					
						2014-07-27 12:20:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							9b500da4b8
							
						
					 | 
					
						
						
							
							Another try at case split for type families
						
						
						
						
						
					 | 
					
						2014-07-26 13:07:45 +02: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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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
							
						 
					 | 
					
						
						
						
						
							
						
						
							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
							
						 
					 | 
					
						
						
						
						
							
						
						
							ae49eab547
							
						
					 | 
					
						
						
							
							First steps in refinement
						
						
						
						
						
					 | 
					
						2014-07-19 12:11:34 +02:00 | 
					
					
						
						
							
							
							
						
					 |