| 
							
							
								 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 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 3072ffb1cc | Merge pull request #294 from DanielG/dev-api-doc Document exposed parts of GhcMod.Monad | 2014-07-21 11:09:42 +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 | 2038127d04 | Add docs to elisp code | 2014-07-20 13:40:08 +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 | efe440438b | Refinement in Emacs ghc-mode | 2014-07-20 10:45:01 +02:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | ae49eab547 | First steps in refinement | 2014-07-19 12:11:34 +02:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | 60e97d4579 | Merge remote-tracking branch 'kazu/master' | 2014-07-19 10:13:19 +02:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 981051a642 | implementing fallback from Simple to Intelligent. | 2014-07-19 11:53:05 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 5abd75ea7d | fixing a infinite process loop. | 2014-07-19 11:50:12 +09:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | 6302d4882e | Merge remote-tracking branch 'kazu/master' Conflicts:
	Language/Haskell/GhcMod/Check.hs
	Language/Haskell/GhcMod/FillSig.hs
	Language/Haskell/GhcMod/GHCApi.hs | 2014-07-18 17:12:52 +02:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | 852d742796 | Continue work on refinement | 2014-07-18 17:09:02 +02:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 0080f9b68c | Internal exports extra Monad stuff. | 2014-07-18 15:42:05 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 30ddd655cd | export minimum Monad stuff from GhcMod. | 2014-07-18 15:31:42 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | e1d9c3b881 | clean up lookupSymbol. | 2014-07-18 15:13:30 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 6d42354a5b | setMode and getMode | 2014-07-18 14:55:21 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 7b079896b1 | doc sectioning. | 2014-07-18 14:55:08 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 26316262aa | converting GhcMonad to IOish. | 2014-07-18 14:54:39 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 233f4cf05e | moving setFlags to Gap. | 2014-07-18 11:09:11 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 0ce70ae22d | set Opt_SpecConstr just in case. | 2014-07-18 10:52:57 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 2f0c8b1293 | Merge pull request #289 from DanielG/dev-find-fork Use `getExecutablePath` instead of relying on ghc-mod being on the PATH | 2014-07-17 23:45:05 +09:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | 3c04e78ba7 | Don't rely on ghc-mod being in PATH | 2014-07-17 16:17:17 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | c3b959a8e5 | Add FindSpec | 2014-07-17 16:16:12 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | 3c1b560068 | Short circuit export list when compiling spec | 2014-07-17 16:15:02 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | 0e17e8e15a | Add a CPP macro when compiling modules for the test suite | 2014-07-17 16:14:35 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | 4f0f5f09a6 | Remove type Dbit's only used once and makes things less clear | 2014-07-17 15:54:59 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | 15e288decf | Remove some redundant stuff from test suite | 2014-07-17 15:53:04 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Gröber | e61aaed023 | Make readProcess'more generic | 2014-07-17 15:52:33 +02:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | cffa7463eb | adopting hlint's suggestions. | 2014-07-17 17:16:44 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 05f45f1d36 | adding error handling. | 2014-07-17 14:40:35 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | cf0df26560 | Monad.hs is now exported by GhcMod.hs. | 2014-07-17 14:30:42 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 74e84e89ac | deleting GhcMod.Ghc. | 2014-07-17 14:04:28 +09:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | b21fa674ea | Merge remote-tracking branch 'kazu/master' | 2014-07-17 06:59:29 +02:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | c3722f7a20 | Include 'refine' again | 2014-07-17 06:59:10 +02:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 409bc99f10 | error handling for loadSymbolDb. | 2014-07-17 12:37:38 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | a6f08fe79f | setupDB is now IO. | 2014-07-17 12:25:10 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | cee1b83daa | the first step to create SymbolDB via a file. | 2014-07-17 11:57:19 +09:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | 57bd408785 | Merge remote-tracking branch 'kazu/master' Conflicts:
	Language/Haskell/GhcMod.hs
	Language/Haskell/GhcMod/Check.hs
	Language/Haskell/GhcMod/FillSig.hs
	Language/Haskell/GhcMod/GHCApi.hs
	Language/Haskell/GhcMod/Ghc.hs
	src/GHCMod.hs | 2014-07-16 19:01:43 +02:00 |  | 
			
				
					| 
							
							
								 Alejandro Serrano | 49437d82d9 | Initial work on refining variable | 2014-07-16 18:20:52 +02:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 3050ba1863 | fixing tests. | 2014-07-15 21:40:22 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 204d449aef | set optimization level to 0 just in case. | 2014-07-15 21:34:05 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 49284a64be | Uses HscNothing and falls back to HscInterpreted if necessary (#205) Two Test case are fails but it is not fatal. | 2014-07-15 17:20:35 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 25730e2a6c | trying to fix CI | 2014-07-15 15:13:06 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | c87ea45488 | adding #if to Monad.hs. | 2014-07-15 14:45:41 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | 0b71748708 | moving #if to Gap.hs | 2014-07-15 14:44:02 +09:00 |  | 
			
				
					| 
							
							
								 Kazu Yamamoto | a7a02a3f4c | Bringing back MaybeT This brings back a warning to be fixed. | 2014-07-15 12:49:12 +09:00 |  |