Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							6519bfe029
							
						
					 | 
					
						
						
							
							chaning colors.
						
						
						
						
						
					 | 
					
						2014-03-31 10:37:05 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							3bfbbb8b5c
							
						
					 | 
					
						
						
							
							supporting sandbox only (without cabal) to fix #164.
						
						
						
						
						
					 | 
					
						2014-03-30 17:28:57 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							5e01a45218
							
						
					 | 
					
						
						
							
							removing dep packages of benchmark.
						
						
						
						
						
						
						
						installing packages of benchmark fails in many cases, sigh. 
						
					 | 
					
						2014-03-30 15:07:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							983fc68f5b
							
						
					 | 
					
						
						
							
							handling multiple package names from ghc-pkg find-module.
						
						
						
						
						
					 | 
					
						2014-03-30 12:37:29 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a47d77fb2f
							
						
					 | 
					
						
						
							
							C-cC-k kills a process.
						
						
						
						
						
					 | 
					
						2014-03-30 11:54:17 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2db2358a98
							
						
					 | 
					
						
						
							
							fixing a bug of ghc-debug.
						
						
						
						
						
					 | 
					
						2014-03-28 15:05:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7fa3736bac
							
						
					 | 
					
						
						
							
							fixing a bug of hlint options.
						
						
						
						
						
					 | 
					
						2014-03-28 15:03:41 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7c0f2511d0
							
						
					 | 
					
						
						
							
							hlint options.
						
						
						
						
						
					 | 
					
						2014-03-28 14:41:12 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7cb9944b0b
							
						
					 | 
					
						
						
							
							hlint options.
						
						
						
						
						
					 | 
					
						2014-03-28 14:41:01 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0c76a801f6
							
						
					 | 
					
						
						
							
							hlint hack.
						
						
						
						
						
					 | 
					
						2014-03-28 13:53:58 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4911db0a7a
							
						
					 | 
					
						
						
							
							error handling for hlint.
						
						
						
						
						
					 | 
					
						2014-03-28 13:51:47 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f8249ae449
							
						
					 | 
					
						
						
							
							removing comment.
						
						
						
						
						
					 | 
					
						2014-03-28 13:47:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							998464f585
							
						
					 | 
					
						
						
							
							the format of hlint options.
						
						
						
						
						
					 | 
					
						2014-03-28 13:44:44 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							87926e699b
							
						
					 | 
					
						
						
							
							M-C-d now can display the doc even in the sandbox.
						
						
						
						
						
					 | 
					
						2014-03-28 12:55:17 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							955b1b4091
							
						
					 | 
					
						
						
							
							user package db options for both GHC and ghc-pkg.
						
						
						
						
						
					 | 
					
						2014-03-28 12:05:11 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							1f7e7dea3b
							
						
					 | 
					
						
						
							
							adding doc.
						
						
						
						
						
					 | 
					
						2014-03-28 11:10:18 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f7f1e081c5
							
						
					 | 
					
						
						
							
							adding dumpSplicesFlag.
						
						
						
						
						
					 | 
					
						2014-03-27 20:54:18 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							5dbea7b909
							
						
					 | 
					
						
						
							
							error handling for doc.
						
						
						
						
						
					 | 
					
						2014-03-27 16:40:34 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							187f718de0
							
						
					 | 
					
						
						
							
							hlint hack.
						
						
						
						
						
					 | 
					
						2014-03-27 16:35:41 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							992013df05
							
						
					 | 
					
						
						
							
							hlint hack.
						
						
						
						
						
					 | 
					
						2014-03-27 16:31:49 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							fb08870d72
							
						
					 | 
					
						
						
							
							hlint hack.
						
						
						
						
						
					 | 
					
						2014-03-27 16:29:59 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							99aeebfb6f
							
						
					 | 
					
						
						
							
							for hlint.
						
						
						
						
						
					 | 
					
						2014-03-27 16:28:27 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7ccb4ab045
							
						
					 | 
					
						
						
							
							"doc" command.
						
						
						
						
						
					 | 
					
						2014-03-27 16:23:27 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							657a007b47
							
						
					 | 
					
						
						
							
							a new module.
						
						
						
						
						
					 | 
					
						2014-03-27 16:23:15 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2dd7bab9b2
							
						
					 | 
					
						
						
							
							packageDoc for sandbox.
						
						
						
						
						
					 | 
					
						2014-03-27 16:22:49 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							5f6adb53f2
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 16:02:16 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							ff70313049
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:56:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f24749b13b
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:45:51 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							c9429cfc97
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:43:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b628175d8f
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:32:44 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							e0d8b379df
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:25:02 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							fbed91f6f2
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:23:27 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							426917fc44
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:21:18 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0a323f71b9
							
						
					 | 
					
						
						
							
							close import.
						
						
						
						
						
					 | 
					
						2014-03-27 15:17:58 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							660a1e95f5
							
						
					 | 
					
						
						
							
							using liftIO from CoreMonad.
						
						
						
						
						
					 | 
					
						2014-03-27 15:08:07 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							07ec988251
							
						
					 | 
					
						
						
							
							closed import.
						
						
						
						
						
					 | 
					
						2014-03-27 14:55:24 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							856310e0fe
							
						
					 | 
					
						
						
							
							closed import.
						
						
						
						
						
					 | 
					
						2014-03-27 14:46:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4fd7224c9c
							
						
					 | 
					
						
						
							
							closed import.
						
						
						
						
						
					 | 
					
						2014-03-27 14:38:06 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d3d9eb1e2c
							
						
					 | 
					
						
						
							
							Data.ByteString cannot be loaded if not specified in cabal file.
						
						
						
						
						
					 | 
					
						2014-03-27 14:24:38 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							cb9db4fd1a
							
						
					 | 
					
						
						
							
							catching up the spec check.
						
						
						
						
						
					 | 
					
						2014-03-27 14:23:32 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7141ec5db1
							
						
					 | 
					
						
						
							
							removing "import Prelude".
						
						
						
						
						
					 | 
					
						2014-03-27 13:50:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							9906ee137b
							
						
					 | 
					
						
						
							
							ghc-debug for ghc-process.
						
						
						
						
						
					 | 
					
						2014-03-27 13:10:43 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b49bb4d5ab
							
						
					 | 
					
						
						
							
							preventing error messages from the sub thread.
						
						
						
						
						
					 | 
					
						2014-03-27 12:58:35 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d7b9b83857
							
						
					 | 
					
						
						
							
							adding comments.
						
						
						
						
						
					 | 
					
						2014-03-27 12:44:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							1bad35aa95
							
						
					 | 
					
						
						
							
							fixing a bug for Data.ByteString.
						
						
						
						
						
					 | 
					
						2014-03-27 12:43:03 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							bf935c5741
							
						
					 | 
					
						
						
							
							don't save the buffer for hlint.
						
						
						
						
						
					 | 
					
						2014-03-27 12:27:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							9ab0f4bf19
							
						
					 | 
					
						
						
							
							hlint again in Elisp.
						
						
						
						
						
					 | 
					
						2014-03-27 10:35:09 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							fa4222f727
							
						
					 | 
					
						
						
							
							lint in ghc-modi.
						
						
						
						
						
					 | 
					
						2014-03-27 10:34:43 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4ad1c5e276
							
						
					 | 
					
						
						
							
							exporting lint.
						
						
						
						
						
					 | 
					
						2014-03-27 10:34:30 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d7869c76ac
							
						
					 | 
					
						
						
							
							removing comments.
						
						
						
						
						
					 | 
					
						2014-03-27 10:26:35 +09:00 | 
					
					
						
						
							
							
							
						
					 |