emacsPackages: use Agda and ghc-mod from 7.8

2015-04-22 17:50:41 +03:00
parent 9ae0798e73
commit e749f1ef61
1 changed files with 3 additions and 1 deletions
@@ -10583,7 +10583,9 @@ let
    };

    external = {
-      inherit (haskellngPackages) ghc-mod structured-haskell-mode Agda;
+      # FIXME: revert when Agda and ghc-mod are fixed on 7.10
+      inherit (haskell-ng.packages.ghc784) ghc-mod Agda;
+      inherit (haskellngPackages) structured-haskell-mode;
    };
  };