Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							1790c5f327
							
						
					 | 
					
						
						
							
							ErrMsg module.
						
						
						
						
						
					 | 
					
						2011-08-24 16:50:26 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							dbdcf9841e
							
						
					 | 
					
						
						
							
							Supporting GHC 7.2.1!
						
						
						
						
						
					 | 
					
						2011-08-24 15:58:12 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							ac09c56cfd
							
						
					 | 
					
						
						
							
							Emacs 22 does not support :risky.
						
						
						
						
						
					 | 
					
						2011-08-03 11:18:35 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							26c0d77c79
							
						
					 | 
					
						
						
							
							ver up.
						
						
						
						
						
					 | 
					
						2011-08-03 10:31:00 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							1545efc5fc
							
						
					 | 
					
						
						
							
							Merge pull request #19 from andrewsw/master
						
						
						
						
						
						
						
						Specifying import dirs.
Seems fine. So, let's merge and then test this. 
						
					 | 
					
						2011-08-02 18:28:24 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrew Sackville-West
							
						 
					 | 
					
						
						
						
						
							
						
						
							b6d99e279c
							
						
					 | 
					
						
						
							
							implement includes options for check
						
						
						
						
						
					 | 
					
						2011-08-02 11:18:07 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							b09a8fb2ee
							
						
					 | 
					
						
						
							
							Merge pull request #17 from takano-akio/master
						
						
						
						
						
						
						
						Non-standard package.conf support 
						
					 | 
					
						2011-05-28 15:34:20 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Takano Akio
							
						 
					 | 
					
						
						
						
						
							
						
						
							ad55168265
							
						
					 | 
					
						
						
							
							adding options: --package-conf and --no-user-package-conf
						
						
						
						
						
						
						
						These command line options work just like the similar-named GHC flags.
They are useful when working with non-standard package databases. 
						
					 | 
					
						2011-05-28 06:06:13 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							92777ed539
							
						
					 | 
					
						
						
							
							Using stringCI.
						
						
						
						
						
						
						
						Suggested by eagletmt. 
						
					 | 
					
						2011-05-27 10:07:27 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							819d915aae
							
						
					 | 
					
						
						
							
							fixing filepath.
						
						
						
						
						
					 | 
					
						2011-05-26 14:43:53 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0ac5bd9c50
							
						
					 | 
					
						
						
							
							adding Cabal.hs
						
						
						
						
						
					 | 
					
						2011-05-24 16:18:22 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b6848d7a5
							
						
					 | 
					
						
						
							
							extract initializeGHC.
						
						
						
						
						
					 | 
					
						2011-05-24 16:17:19 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							ce1123395b
							
						
					 | 
					
						
						
							
							ver up.
						
						
						
						
						
					 | 
					
						2011-05-24 16:01:47 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							783e4a4e4c
							
						
					 | 
					
						
						
							
							new include scheme.
						
						
						
						
						
					 | 
					
						2011-05-24 16:00:47 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							8bb0c27b0b
							
						
					 | 
					
						
						
							
							ver up.
						
						
						
						
						
					 | 
					
						2011-04-12 15:07:15 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a4a3be93eb
							
						
					 | 
					
						
						
							
							inserting signature for GHC 7.
						
						
						
						
						
					 | 
					
						2011-03-25 13:00:08 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							973f43c93a
							
						
					 | 
					
						
						
							
							version up.
						
						
						
						
						
					 | 
					
						2011-03-19 11:09:43 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4de6cb3d43
							
						
					 | 
					
						
						
							
							version up.
						
						
						
						
						
					 | 
					
						2011-03-19 11:07:17 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							8e880e8e3c
							
						
					 | 
					
						
						
							
							adding a missing PATH.
						
						
						
						
						
					 | 
					
						2011-03-19 11:06:14 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d460ad2ed2
							
						
					 | 
					
						
						
							
							fixing the bug of "\n".
						
						
						
						
						
					 | 
					
						2011-03-07 11:03:48 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7ad9cca220
							
						
					 | 
					
						
						
							
							version 0.5.3.
						
						
						
						
						
					 | 
					
						2011-01-31 10:43:32 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0cda133040
							
						
					 | 
					
						
						
							
							-o option to display operators, too.
						
						
						
						
						
					 | 
					
						2011-01-27 14:29:39 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							5af81af272
							
						
					 | 
					
						
						
							
							version up.
						
						
						
						
						
					 | 
					
						2011-01-14 13:58:03 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							c3248b6e4f
							
						
					 | 
					
						
						
							
							cosmetic change.
						
						
						
						
						
					 | 
					
						2011-01-14 13:55:58 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							09d465c428
							
						
					 | 
					
						
						
							
							fix a bug of gussed type.
						
						
						
						
						
					 | 
					
						2011-01-14 13:52:41 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7e9d992def
							
						
					 | 
					
						
						
							
							perfect insertion of guessed type.
						
						
						
						
						
					 | 
					
						2011-01-14 13:38:12 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							2f804f5de1
							
						
					 | 
					
						
						
							
							cosmetic change.
						
						
						
						
						
					 | 
					
						2011-01-14 11:18:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							34f360fef7
							
						
					 | 
					
						
						
							
							cosmetic change.
						
						
						
						
						
					 | 
					
						2011-01-13 17:22:43 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a98e734003
							
						
					 | 
					
						
						
							
							Merge branch 'master' of https://github.com/dschoepe/ghc-mod into dschoepe-master
						
						
						
						
						
					 | 
					
						2011-01-13 16:49:21 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Schoepe
							
						 
					 | 
					
						
						
						
						
							
						
						
							35fef6b6c7
							
						
					 | 
					
						
						
							
							Better handling of files with errors in Info.hs
						
						
						
						
						
					 | 
					
						2011-01-10 16:43:09 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							8d286c7f43
							
						
					 | 
					
						
						
							
							verion 0.5.1.
						
						
						
						
						
					 | 
					
						2010-11-29 17:15:42 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							4ab44c4522
							
						
					 | 
					
						
						
							
							adding ghc-info.el.
						
						
						
						
						
					 | 
					
						2010-11-29 17:14:32 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							f2a151d6a9
							
						
					 | 
					
						
						
							
							adding a comment.
						
						
						
						
						
					 | 
					
						2010-11-25 14:12:55 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							7aa6cf6ef0
							
						
					 | 
					
						
						
							
							C-cC-t for type and C-cC-i for info.
						
						
						
						
						
					 | 
					
						2010-11-18 16:42:19 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							d81954d2c8
							
						
					 | 
					
						
						
							
							user friendly messages.
						
						
						
						
						
					 | 
					
						2010-11-18 16:38:55 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							39409f2239
							
						
					 | 
					
						
						
							
							"info" and "type" can display it even if the source file is broken.
						
						
						
						
						
					 | 
					
						2010-11-17 17:07:33 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							ae22ff40d4
							
						
					 | 
					
						
						
							
							current dir hack for ghc-info.el.
						
						
						
						
						
					 | 
					
						2010-11-17 14:41:38 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							71ebb82eb2
							
						
					 | 
					
						
						
							
							Supporting GHC7 (Krzysztof Skrzętnicki).
						
						
						
						
						
					 | 
					
						2010-11-17 12:27:23 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							11f1341fe5
							
						
					 | 
					
						
						
							
							defining "info" for "ESC i".
						
						
						
						
						
					 | 
					
						2010-11-15 14:46:59 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							fc67daae89
							
						
					 | 
					
						
						
							
							version 0.5.0.
						
						
						
						
						
					 | 
					
						2010-11-15 12:48:01 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							30924fa26d
							
						
					 | 
					
						
						
							
							M-C-t for showing type.
						
						
						
						
						
					 | 
					
						2010-11-15 12:46:55 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							537d825668
							
						
					 | 
					
						
						
							
							bug fix for "type".
						
						
						
						
						
					 | 
					
						2010-11-15 12:14:38 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							8760f6b714
							
						
					 | 
					
						
						
							
							info -> type.
						
						
						
						
						
					 | 
					
						2010-11-12 16:32:20 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							9467a5d22e
							
						
					 | 
					
						
						
							
							type check.
						
						
						
						
						
					 | 
					
						2010-11-12 16:27:50 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							0fd39e9b56
							
						
					 | 
					
						
						
							
							improving insertion of type for forall.
						
						
						
						
						
					 | 
					
						2010-11-10 17:03:56 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							6bac8141db
							
						
					 | 
					
						
						
							
							fixing a bug of doc-browsing.
						
						
						
						
						
					 | 
					
						2010-11-10 11:47:54 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a5d12ad707
							
						
					 | 
					
						
						
							
							adding defstruct.
						
						
						
						
						
					 | 
					
						2010-10-28 16:24:45 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							a133d60484
							
						
					 | 
					
						
						
							
							adding a newline.
						
						
						
						
						
					 | 
					
						2010-10-28 16:19:19 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							04c44083b5
							
						
					 | 
					
						
						
							
							Merge branch 'master' of git://github.com/dschoepe/ghc-mod into dschoepe-master
						
						
						
						
						
					 | 
					
						2010-10-28 15:59:18 +09:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kazu Yamamoto
							
						 
					 | 
					
						
						
						
						
							
						
						
							dfea3320a7
							
						
					 | 
					
						
						
							
							cosmetic change.
						
						
						
						
						
					 | 
					
						2010-10-28 15:57:39 +09:00 | 
					
					
						
						
							
							
							
						
					 |