Commit Graph

1910 Commits

Author SHA1 Message Date
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
Kazu Yamamoto
c3e074fd05 Merge pull request #328 from serras/master
Revert way to report errors when deferred as warnings
2014-08-19 09:31:36 +09: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
f799ff1ee8 using force-mode-line-update just in case. 2014-08-18 15:42:14 +09:00
Kazu Yamamoto
5a657b9df8 removing warnings 2014-08-18 15:24:38 +09:00
Kazu Yamamoto
c1cff13dc7 Merge pull request #327 from DanielG/dev-configure
Catch `cabal configure` failure properly
2014-08-18 15:10:23 +09:00
Daniel Gröber
271ff4e162 Catch cabal configure failure properly 2014-08-18 08:06:36 +02:00
Kazu Yamamoto
6fec1de4b3 Merge pull request #324 from DanielG/dev-conv
Remove `toGhcModT` it's not needed anymore.
2014-08-16 14:33:12 +09:00
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