hasufell/ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 9b38818f66 Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-24 20:21:44 +0200
  • 361fe24be0 Start case splitting on type families (NOT working) Alejandro Serrano 2014-07-24 20:21:05 +0200
  • d9c6638493 Work on initial signature for type families Alejandro Serrano 2014-07-24 20:20:30 +0200
  • 10ef20b967 Merge pull request #293 from DanielG/dev-exec-path Kazu Yamamoto 2014-07-21 11:11:25 +0900
  • 3072ffb1cc Merge pull request #294 from DanielG/dev-api-doc Kazu Yamamoto 2014-07-21 11:09:42 +0900
  • 0736516512 Document exposed parts of GhcMod.Monad Daniel Gröber 2014-07-21 00:22:45 +0200
  • ba9c70dff7 Fall back to assuming ghc-mid is on PATH when exeutable name is not available Daniel Gröber 2014-07-18 02:13:40 +0200
  • 2038127d04 Add docs to elisp code Alejandro Serrano 2014-07-20 13:40:08 +0200
  • eb5ec73ae1 Complete parenthesis on refinement Alejandro Serrano 2014-07-20 13:33:36 +0200
  • 54d10684b9 Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-20 10:45:28 +0200
  • efe440438b Refinement in Emacs ghc-mode Alejandro Serrano 2014-07-20 10:45:01 +0200
  • ae49eab547 First steps in refinement Alejandro Serrano 2014-07-19 12:11:34 +0200
  • 60e97d4579 Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-19 10:13:19 +0200
  • 981051a642 implementing fallback from Simple to Intelligent. Kazu Yamamoto 2014-07-19 11:53:05 +0900
  • 5abd75ea7d fixing a infinite process loop. Kazu Yamamoto 2014-07-19 11:50:12 +0900
  • 6302d4882e Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-18 17:12:52 +0200
  • 852d742796 Continue work on refinement Alejandro Serrano 2014-07-18 17:09:02 +0200
  • 0080f9b68c Internal exports extra Monad stuff. Kazu Yamamoto 2014-07-18 15:42:05 +0900
  • 30ddd655cd export minimum Monad stuff from GhcMod. Kazu Yamamoto 2014-07-18 15:31:42 +0900
  • e1d9c3b881 clean up lookupSymbol. Kazu Yamamoto 2014-07-18 15:13:30 +0900
  • 6d42354a5b setMode and getMode Kazu Yamamoto 2014-07-18 14:29:50 +0900
  • 7b079896b1 doc sectioning. Kazu Yamamoto 2014-07-18 14:13:59 +0900
  • 26316262aa converting GhcMonad to IOish. Kazu Yamamoto 2014-07-18 14:05:20 +0900
  • 233f4cf05e moving setFlags to Gap. Kazu Yamamoto 2014-07-18 11:09:11 +0900
  • 0ce70ae22d set Opt_SpecConstr just in case. Kazu Yamamoto 2014-07-18 10:52:57 +0900
  • 2f0c8b1293 Merge pull request #289 from DanielG/dev-find-fork Kazu Yamamoto 2014-07-17 23:45:05 +0900
  • 3c04e78ba7 Don't rely on ghc-mod being in PATH Daniel Gröber 2014-07-17 16:17:17 +0200
  • c3b959a8e5 Add FindSpec Daniel Gröber 2014-07-17 16:16:12 +0200
  • 3c1b560068 Short circuit export list when compiling spec Daniel Gröber 2014-07-17 16:15:02 +0200
  • 0e17e8e15a Add a CPP macro when compiling modules for the test suite Daniel Gröber 2014-07-17 16:14:35 +0200
  • 4f0f5f09a6 Remove type Db it's only used once and makes things less clear Daniel Gröber 2014-07-17 15:54:59 +0200
  • 15e288decf Remove some redundant stuff from test suite Daniel Gröber 2014-07-17 15:53:04 +0200
  • e61aaed023 Make readProcess'more generic Daniel Gröber 2014-07-17 15:52:33 +0200
  • cffa7463eb adopting hlint's suggestions. Kazu Yamamoto 2014-07-17 17:16:44 +0900
  • 05f45f1d36 adding error handling. Kazu Yamamoto 2014-07-17 14:40:35 +0900
  • cf0df26560 Monad.hs is now exported by GhcMod.hs. Kazu Yamamoto 2014-07-17 14:30:42 +0900
  • 74e84e89ac deleting GhcMod.Ghc. Kazu Yamamoto 2014-07-17 14:04:28 +0900
  • b21fa674ea Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-17 06:59:29 +0200
  • c3722f7a20 Include 'refine' again Alejandro Serrano 2014-07-17 06:59:10 +0200
  • 409bc99f10 error handling for loadSymbolDb. Kazu Yamamoto 2014-07-17 12:37:38 +0900
  • a6f08fe79f setupDB is now IO. Kazu Yamamoto 2014-07-17 12:25:10 +0900
  • cee1b83daa the first step to create SymbolDB via a file. Kazu Yamamoto 2014-07-16 18:14:12 +0900
  • 57bd408785 Merge remote-tracking branch 'kazu/master' Alejandro Serrano 2014-07-16 19:01:43 +0200
  • 49437d82d9 Initial work on refining variable Alejandro Serrano 2014-07-16 18:20:52 +0200
  • 3050ba1863 fixing tests. Kazu Yamamoto 2014-07-15 21:40:22 +0900
  • 204d449aef set optimization level to 0 just in case. Kazu Yamamoto 2014-07-15 21:34:05 +0900
  • 49284a64be Uses HscNothing and falls back to HscInterpreted if necessary (#205) Kazu Yamamoto 2014-07-15 17:20:35 +0900
  • 25730e2a6c trying to fix CI Kazu Yamamoto 2014-07-15 15:13:06 +0900
  • c87ea45488 adding #if to Monad.hs. Kazu Yamamoto 2014-07-15 14:45:41 +0900
  • 0b71748708 moving #if to Gap.hs Kazu Yamamoto 2014-07-15 14:44:02 +0900
  • a7a02a3f4c Bringing back MaybeT Kazu Yamamoto 2014-07-15 12:49:12 +0900
  • 86829561ab style only. Kazu Yamamoto 2014-07-15 12:41:10 +0900
  • 84c3cec0f1 moving #if to Gap.hs. Kazu Yamamoto 2014-07-15 12:35:45 +0900
  • be9a67f02a moving #if to Gap.hs. Kazu Yamamoto 2014-07-15 12:29:27 +0900
  • 1524d2a43e removing warnings. Kazu Yamamoto 2014-07-15 12:10:18 +0900
  • 8495633dc8 explicitly specifying CompManager to ghcMode. Kazu Yamamoto 2014-07-15 12:06:07 +0900
  • 755fa41fc0 ver bumps up for ghc.el. Kazu Yamamoto 2014-07-15 11:54:39 +0900
  • fdfa70e27a removing -threaded Kazu Yamamoto 2014-07-15 11:51:52 +0900
  • 89a4db2345 Merge pull request #288 from DanielG/dev-pkgs Kazu Yamamoto 2014-07-15 11:49:10 +0900
  • 686179f12b Fix building with ghc < 7.8 Daniel Gröber 2014-07-15 02:34:07 +0200
  • 68212d46a1 Fix cabal file Daniel Gröber 2014-07-15 01:53:06 +0200
  • 7474a1b652 Bring back GhcMod but this time it's a GhcModT with an ErrorT inside Daniel Gröber 2014-07-15 00:51:22 +0200
  • 0a62ad9116 Fix doctest Daniel Gröber 2014-07-14 16:54:49 +0200
  • f0bfcb8811 Use GhcModT everywhere and remove the GhcMod alias Daniel Gröber 2014-07-12 11:16:16 +0200
  • d98cedc9c0 Merge pull request #287 from DanielG/dev-untangle Kazu Yamamoto 2014-07-12 14:27:43 +0900
  • b6896a481a Move initializeFlagsWithCradle to Monad.hs Daniel Gröber 2014-07-12 03:30:06 +0200
  • 503e8cbe06 Move DynFlag related functions from GHCApi to another module Daniel Gröber 2014-07-12 02:53:59 +0200
  • 81c58585a2 Add functions for dealing with packages, modules and bindings to GHCApi Daniel Gröber 2014-07-11 10:43:51 +0200
  • 73bf4cbc4e Remove withGhc and withGhc', they're not used anymore. Daniel Gröber 2014-07-11 10:40:09 +0200
  • e378913466 Merge pull request #286 from cabrera/fix_ghc_783 Kazu Yamamoto 2014-07-11 17:39:46 +0900
  • daada0d27e Fix GHC 7.8.3: MatchGroup now has 4 args Alejandro Cabrera 2014-07-11 01:12:36 -0400
  • 53394d3075 ver bumps up. Kazu Yamamoto 2014-07-11 14:09:10 +0900
  • 9f94bc863c Add Module type Daniel Gröber 2014-07-11 05:44:31 +0200
  • 17dfe6b63e Merge pull request #284 from DanielG/dev-monad Kazu Yamamoto 2014-07-11 12:13:19 +0900
  • d818a64f6f whitespace Daniel Gröber 2014-07-11 04:51:27 +0200
  • 320b2243a2 Make GhcMod a special case of GhcModT Daniel Gröber 2014-07-11 04:51:11 +0200
  • a0c7d8f384 Merge pull request #283 from DanielG/dev-monad Kazu Yamamoto 2014-07-11 11:29:12 +0900
  • 56ad1a3c8c Control.Monad.Trans.MonadIO -> CoreMonad.MonadIO Daniel Gröber 2014-07-11 04:12:05 +0200
  • a1d9194239 Merge pull request #281 from DanielG/dev-monad Kazu Yamamoto 2014-07-11 10:53:06 +0900
  • 4b6a687bc1 Migrate the remaining parts of the exposed API to GhcMod a Daniel Gröber 2014-07-11 03:10:37 +0200
  • 105a355a1e Merge pull request #280 from DanielG/dev-monad2 Kazu Yamamoto 2014-07-11 09:26:33 +0900
  • dc5ba6d00d Add newGhcModEnv for allowing multiple active sessions Daniel Gröber 2014-05-18 01:32:09 +0000
  • d696214816 We really don't want mtl < 2.0 (different API) Daniel Gröber 2014-05-18 01:20:13 +0000
  • d68f7b2d18 removing a warning of elisp. Kazu Yamamoto 2014-06-30 12:26:30 +0900
  • 648f914ac5 ghc-debug displays PATH env. Kazu Yamamoto 2014-06-25 15:05:23 +0900
  • 72679c619c Show more relevant bindings in typed holes Alejandro Serrano 2014-07-06 09:45:02 +0200
  • b24293f49f Merge pull request #278 from DanielG/dev Kazu Yamamoto 2014-07-05 19:57:11 +0900
  • efb91a8bd9 Add workaround for #277 Daniel Gröber 2014-07-04 19:00:38 +0200
  • c5776c220b Update .travis.yml Daniel Gröber 2014-07-02 19:19:36 +0200
  • 86a7f954e3 Add a comment discouraging the use of toGhcMod in new code Daniel Gröber 2014-06-27 19:31:34 +0200
  • 75b838bab6 install happy by apt-get. Kazu Yamamoto 2014-07-04 13:00:21 +0900
  • 61b86349a9 yet another workaround for #277. Kazu Yamamoto 2014-07-04 11:45:25 +0900
  • 2091eb6027 Revert "workaround for #277" Kazu Yamamoto 2014-07-03 22:39:49 +0900
  • ef2087b379 workaround for #277 Kazu Yamamoto 2014-07-03 22:10:15 +0900
  • 8d0c86b7ec Revert "workaround for #277" Kazu Yamamoto 2014-07-03 22:00:51 +0900
  • 64971e08cd workaround for #277 Kazu Yamamoto 2014-07-03 20:13:10 +0900
  • 609ca52dee Merge branch 'serras-master' Kazu Yamamoto 2014-07-03 17:04:00 +0900
  • f2e20e3279 comments. Kazu Yamamoto 2014-07-03 14:26:39 +0900
  • 640140608e layout. Kazu Yamamoto 2014-07-03 14:22:43 +0900
  • 826d42f824 clean up macros. Kazu Yamamoto 2014-07-03 14:19:36 +0900