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
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
Alejandro Serrano
fdbecdddce
Make better check in presence of typed holes
2014-08-14 20:51:49 +02:00
Alejandro Serrano
890658f9cb
Fix merge conflict, dropdown-list no longer needed
2014-08-14 18:02:58 +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
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
Daniel Gröber
3c04e78ba7
Don't rely on ghc-mod being in PATH
2014-07-17 16:17:17 +02:00
Daniel Gröber
3c1b560068
Short circuit export list when compiling spec
2014-07-17 16:15:02 +02:00
Daniel Gröber
4f0f5f09a6
Remove type Db
it's only used once and makes things less clear
2014-07-17 15:54:59 +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
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
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
Kazu Yamamoto
86829561ab
style only.
2014-07-15 12:41:10 +09:00
Kazu Yamamoto
84c3cec0f1
moving #if to Gap.hs.
2014-07-15 12:40:18 +09:00
Kazu Yamamoto
be9a67f02a
moving #if to Gap.hs.
2014-07-15 12:29:27 +09:00
Kazu Yamamoto
1524d2a43e
removing warnings.
2014-07-15 12:10:18 +09:00
Kazu Yamamoto
8495633dc8
explicitly specifying CompManager to ghcMode.
2014-07-15 12:06:07 +09:00
Kazu Yamamoto
89a4db2345
Merge pull request #288 from DanielG/dev-pkgs
...
Make `GhcMod` be `GhcModT (ErrorT IO)`
2014-07-15 11:49:10 +09:00
Daniel Gröber
686179f12b
Fix building with ghc < 7.8
2014-07-15 02:34:07 +02:00
Daniel Gröber
7474a1b652
Bring back GhcMod
but this time it's a GhcModT with an ErrorT inside
2014-07-15 01:04:06 +02:00
Daniel Gröber
f0bfcb8811
Use GhcModT everywhere and remove the GhcMod alias
...
Not doing this makes having GhcModT pretty pointless as users of the
library wouldn't be able to use custom inner monads as evey function for
dealing with GhcModT's would be constraint to (GhcModT IO) thus only
allowing IO as the inner monad.
2014-07-15 01:03:56 +02:00
Kazu Yamamoto
d98cedc9c0
Merge pull request #287 from DanielG/dev-untangle
...
Untangle Monad.hs and GHCApi.hs and some other changes
2014-07-12 14:27:43 +09:00
Daniel Gröber
b6896a481a
Move initializeFlagsWithCradle
to Monad.hs
2014-07-12 03:33:04 +02:00
Daniel Gröber
503e8cbe06
Move DynFlag related functions from GHCApi to another module
2014-07-12 02:57:19 +02:00
Daniel Gröber
81c58585a2
Add functions for dealing with packages, modules and bindings to GHCApi
2014-07-11 10:43:51 +02:00
Daniel Gröber
73bf4cbc4e
Remove withGhc
and withGhc'
, they're not used anymore.
2014-07-11 10:41:43 +02:00
Alejandro Cabrera
daada0d27e
Fix GHC 7.8.3: MatchGroup now has 4 args
...
Rather than use a pattern match, this patch opts to explicitly extract
the fields of interest using where syntax. This keeps compatibility
across GHC 7.8 releases.
Ref: eeaea2df3f (diff-259092edcc59456f526cdef255c181d1L909)
2014-07-11 01:15:22 -04:00
Daniel Gröber
9f94bc863c
Add Module
type
2014-07-11 05:44:31 +02:00
Daniel Gröber
d818a64f6f
whitespace
2014-07-11 04:51:27 +02:00
Daniel Gröber
320b2243a2
Make GhcMod a special case of GhcModT
...
i.e. turn GhcMod into a monad transformer
2014-07-11 04:51:11 +02:00
Daniel Gröber
56ad1a3c8c
Control.Monad.Trans.MonadIO -> CoreMonad.MonadIO
...
they are different before ghc 7.8
2014-07-11 04:12:05 +02:00
Daniel Gröber
4b6a687bc1
Migrate the remaining parts of the exposed API to GhcMod a
2014-07-11 03:13:38 +02:00
Daniel Gröber
dc5ba6d00d
Add newGhcModEnv for allowing multiple active sessions
...
Conflicts:
Language/Haskell/GhcMod/Monad.hs
2014-07-10 21:14:47 +02:00
Alejandro Serrano
72679c619c
Show more relevant bindings in typed holes
2014-07-06 09:45:02 +02:00
Daniel Gröber
86a7f954e3
Add a comment discouraging the use of toGhcMod
in new code
2014-07-04 19:03:02 +02:00
Kazu Yamamoto
609ca52dee
Merge branch 'serras-master'
2014-07-03 17:04:00 +09:00
Kazu Yamamoto
f2e20e3279
comments.
2014-07-03 14:26:39 +09:00
Kazu Yamamoto
640140608e
layout.
2014-07-03 14:22:43 +09:00
Kazu Yamamoto
826d42f824
clean up macros.
2014-07-03 14:19:36 +09:00
Kazu Yamamoto
c13fdde2f8
importing Control.Monad.IO.Class explicity.
...
trying to resolve #277 .
2014-07-03 12:50:46 +09:00
Alejandro Serrano
df258843d9
Fix missing OccName import for ghc 7.4
2014-07-02 17:18:03 +02:00
Alejandro Serrano
ccc21461b2
Fix missing import for ghc 7.4
2014-07-02 17:00:10 +02:00
Alejandro Serrano
c707eb4e8c
Revert back change in MonadIO GhcMod
2014-07-01 17:56:59 +02:00