Kazu Yamamoto
|
4090b301f7
|
removing trailing white spaces.
|
2014-08-14 10:49:48 +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 |
|
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
|
4fcef0cb2b
|
Reset DynFlags properly in `withCmdFlags` teardown
|
2014-08-13 19:28:08 +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
|
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 |
|
Daniel Gröber
|
bd28310e59
|
Don't fall back to sandbox if cabal file failes to parse
|
2014-08-12 00:02:39 +02:00 |
|
Daniel Gröber
|
b13465b588
|
Some docs in CabalConfig.hs
|
2014-08-11 23:48:15 +02:00 |
|
Daniel Gröber
|
fad99f466f
|
Export GhcModError(..)
|
2014-08-06 20:40:11 +02:00 |
|
Daniel Gröber
|
9e4f1c9057
|
add note
|
2014-08-06 19:38:42 +02:00 |
|
Daniel Gröber
|
cb28e9ec8f
|
Fix warning
|
2014-08-06 19:38:42 +02:00 |
|
Daniel Gröber
|
c98eb23bdf
|
Clean up getSymbolTable a bit more
|
2014-08-06 19:38:42 +02:00 |
|
Daniel Gröber
|
459106a6d5
|
Clean up Find.hs a bit
|
2014-08-06 19:38:42 +02:00 |
|
Daniel Gröber
|
f311efd90c
|
Rework GhcModT monad stack
|
2014-08-06 19:38:42 +02:00 |
|
Alejandro Serrano
|
43ac9036f9
|
Fixes on GHC < 7.8
|
2014-08-04 17:25:18 +02:00 |
|
Alejandro Serrano
|
d1a6618329
|
More package fixes for GHC < 7.8
|
2014-08-03 20:38:54 +02:00 |
|
Alejandro Serrano
|
d22e50d9e4
|
Small fix to compile in GHC < 7.8
|
2014-08-03 19:57:01 +02:00 |
|
Alejandro Serrano
|
9cc6476df1
|
Add better support for auto, with several options searched
|
2014-08-03 19:14:42 +02:00 |
|
Alejandro Serrano
|
3aa83e14dd
|
Show more than one Djinn completion
|
2014-08-02 09:52:36 +02:00 |
|
Alejandro Serrano
|
31a7ce3d19
|
Merge remote-tracking branch 'kazu/master'
|
2014-08-01 17:08:50 +02:00 |
|
Alejandro Serrano
|
9161757f95
|
First attempt to add auto
|
2014-08-01 17:08:23 +02:00 |
|
Kazu Yamamoto
|
d1daf6def9
|
Merge pull request #296 from serras/master
Add refinement and better support for typed holes in Emacs mode
|
2014-08-01 15:14:50 +09:00 |
|
Kenta Sato
|
92651fbb26
|
interpret backslash-escaped characters at the line boundary
|
2014-07-30 12:03:58 +09:00 |
|
Alejandro Serrano
|
e3853a49f1
|
Add fix for GHC 7.4
|
2014-07-27 14:11:54 +02:00 |
|
Alejandro Serrano
|
f1d0436467
|
Remove case splitting for type families
|
2014-07-27 12:20:46 +02:00 |
|
Alejandro Serrano
|
9b500da4b8
|
Another try at case split for type families
|
2014-07-26 13:07:45 +02:00 |
|
Alejandro Serrano
|
9b38818f66
|
Merge remote-tracking branch 'kazu/master'
|
2014-07-24 20:21:44 +02:00 |
|
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 |
|
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
|
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
|
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 |