Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							f5d051dcef
							
						
					 | 
					
						
						
							
							Remove toGhcModT it's not needed anymore.
						
						
						
						
						
					 | 
					
						2014-08-15 20:35:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f7bc8460f4
							
						
					 | 
					
						
						
							
							Merge pull request #323 from serras/master
						
						
						
						
						
						
						
						Show error messages without qualification 
						
					 | 
					
						2014-08-15 18:38:29 +09: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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							95cda63ea0
							
						
					 | 
					
						
						
							
							Merge pull request #321 from serras/master
						
						
						
						
						
						
						
						Obtain all warnings even in presence of typed holes 
						
					 | 
					
						2014-08-15 16:50:00 +09: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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							82936bb11e
							
						
					 | 
					
						
						
							
							Merge pull request #320 from serras/master
						
						
						
						
						
						
						
						Do not use dropdown-list + change keybindings + improve checking with typed holes 
						
					 | 
					
						2014-08-15 06:32:25 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							fdbecdddce
							
						
					 | 
					
						
						
							
							Make better check in presence of typed holes
						
						
						
						
						
					 | 
					
						2014-08-14 20:51:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alejandro Serrano
							
						 
					 | 
					
						
						
						
						
							
						
						
							637fd7e66f
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'kazu/master'
						
						
						
						
						
						
						
						Conflicts:
	elisp/ghc-rewrite.el 
						
					 | 
					
						2014-08-14 18:06:10 +02: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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							8606316d84
							
						
					 | 
					
						
						
							
							one more type error to be rescued.
						
						
						
						
						
					 | 
					
						2014-08-14 16:42:05 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4f785d7f8a
							
						
					 | 
					
						
						
							
							Set Opt_DeferTypeErrors to rescure type errors. (#310)
						
						
						
						
						
						
						
						Type errors are turned to warnings. We force to turn them to the errors again. 
						
					 | 
					
						2014-08-14 14:13:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							bc4bfe1752
							
						
					 | 
					
						
						
							
							-v option for ghc-mod (#304)
						
						
						
						
						
					 | 
					
						2014-08-14 12:03:59 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d5733874e0
							
						
					 | 
					
						
						
							
							using <$>
						
						
						
						
						
					 | 
					
						2014-08-14 11:14:46 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2875275fc0
							
						
					 | 
					
						
						
							
							hlint suggestions.
						
						
						
						
						
					 | 
					
						2014-08-14 11:11:02 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4090b301f7
							
						
					 | 
					
						
						
							
							removing trailing white spaces.
						
						
						
						
						
					 | 
					
						2014-08-14 10:49:48 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0ee6d06411
							
						
					 | 
					
						
						
							
							removing trailing white spaces.
						
						
						
						
						
					 | 
					
						2014-08-14 10:48:57 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							358ed2dfff
							
						
					 | 
					
						
						
							
							workaround for #318
						
						
						
						
						
					 | 
					
						2014-08-14 10:20:30 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							81efe04c01
							
						
					 | 
					
						
						
							
							removing |||> (#292)
						
						
						
						
						
					 | 
					
						2014-08-14 10:08:48 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							02ce2d4a1d
							
						
					 | 
					
						
						
							
							removing warnings.
						
						
						
						
						
					 | 
					
						2014-08-14 10:01:35 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b3b1175d6e
							
						
					 | 
					
						
						
							
							Merge pull request #317 from DanielG/dev
						
						
						
						
						
						
						
						Workaround for #273 + more release-prep 
						
					 | 
					
						2014-08-14 09:27:40 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec1b115cc1
							
						
					 | 
					
						
						
							
							In check, apply ghcUserOptions after setting -Wall
						
						
						
						
						
					 | 
					
						2014-08-13 19:28:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							4b05c20205
							
						
					 | 
					
						
						
							
							Add missing signature
						
						
						
						
						
					 | 
					
						2014-08-13 19:28:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							c1c7dcec20
							
						
					 | 
					
						
						
							
							Rename ghcOpts -> ghcUserOptions
						
						
						
						
						
					 | 
					
						2014-08-13 19:28:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							f2ccea7f29
							
						
					 | 
					
						
						
							
							Fix error presentation
						
						
						
						
						
					 | 
					
						2014-08-13 19:28:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							4fcef0cb2b
							
						
					 | 
					
						
						
							
							Reset DynFlags properly in withCmdFlags teardown
						
						
						
						
						
					 | 
					
						2014-08-13 19:28:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							6dd8b34e44
							
						
					 | 
					
						
						
							
							Merge pull request #316 from serras/master
						
						
						
						
						
						
						
						Integrate case splitting and code generation in `M-t` 
						
					 | 
					
						2014-08-13 15:45:20 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							625d4661e7
							
						
					 | 
					
						
						
							
							fix #295.
						
						
						
						
						
					 | 
					
						2014-08-13 15:21:13 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							e22cc4383b
							
						
					 | 
					
						
						
							
							Merge pull request #314 from DanielG/dev
						
						
						
						
						
						
						
						Make GhcModT's MonadState instance pass through and other release-prep 
						
					 | 
					
						2014-08-13 10:48:08 +09: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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							2a1fd28771
							
						
					 | 
					
						
						
							
							docs for ghcModExecutable
						
						
						
						
						
					 | 
					
						2014-08-12 21:21:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							4def562179
							
						
					 | 
					
						
						
							
							Add version number to symbol table cache filename
						
						
						
						
						
					 | 
					
						2014-08-12 21:20:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							e0bbd91eba
							
						
					 | 
					
						
						
							
							Remove GMECabal, GMEGhc constructors from GhcModError for now
						
						
						
						
						
					 | 
					
						2014-08-12 21:11:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							c4ae9bc589
							
						
					 | 
					
						
						
							
							Expose GhcModError
						
						
						
						
						
					 | 
					
						2014-08-12 21:00:06 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							3dfd04c7fe
							
						
					 | 
					
						
						
							
							Use the right MonadIO class
						
						
						
						
						
					 | 
					
						2014-08-12 19:06:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							0fa870efa6
							
						
					 | 
					
						
						
							
							Fix ghc<=7.6
						
						
						
						
						
					 | 
					
						2014-08-12 18:54:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							edeb57a6a4
							
						
					 | 
					
						
						
							
							note
						
						
						
						
						
					 | 
					
						2014-08-12 18:24:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							fa65d7269e
							
						
					 | 
					
						
						
							
							Add a test for gmsGet/Put
						
						
						
						
						
					 | 
					
						2014-08-12 18:24:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							9922cf08e1
							
						
					 | 
					
						
						
							
							Generate cabal.sandbox.config in test/data/broken-cabal
						
						
						
						
						
					 | 
					
						2014-08-12 18:24:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							87c587993a
							
						
					 | 
					
						
						
							
							Make parseCabalFile use MonadError
						
						
						
						
						
					 | 
					
						2014-08-12 18:24:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							e345c92edb
							
						
					 | 
					
						
						
							
							Make GhcModT's MonadState instance pass through
						
						
						
						
						
						
						
						..to the underlying monad 
						
					 | 
					
						2014-08-12 18:23:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Gröber
							
						 
					 | 
					
						
						
						
						
							
						
						
							c0652c0321
							
						
					 | 
					
						
						
							
							Move GhcModError to Types.hs
						
						
						
						
						
					 | 
					
						2014-08-12 18:23:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							dcadd5c7ba
							
						
					 | 
					
						
						
							
							removing warnings.
						
						
						
						
						
					 | 
					
						2014-08-12 16:41:21 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							463ab9a26f
							
						
					 | 
					
						
						
							
							adding a test for foreign export.
						
						
						
						
						
					 | 
					
						2014-08-12 16:37:05 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4a02a02409
							
						
					 | 
					
						
						
							
							adding CodingStyle.
						
						
						
						
						
					 | 
					
						2014-08-12 15:00:56 +09:00 | 
					
					
						
						
							
							
							
						
					 |