From 8e41d38afd6b181f4ed387667bf355ceb49f5da5 Mon Sep 17 00:00:00 2001
From: Timothy Sample <samplet@ngyro.com>
Date: Sat, 16 Nov 2019 09:41:57 -0500
Subject: [PATCH] gnu: cedille: Use most recent GHC.

* gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with
'ghc'.
---
 gnu/packages/cedille.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm
index caa3d864f8..80ed7e9759 100644
--- a/gnu/packages/cedille.scm
+++ b/gnu/packages/cedille.scm
@@ -44,7 +44,7 @@ (define-public cedille
     (inputs
      `(("agda" ,agda)
        ("agda-ial" ,agda-ial)
-       ("ghc" ,ghc-8.4)
+       ("ghc" ,ghc)
        ("ghc-alex" ,ghc-alex)
        ("ghc-happy" ,ghc-happy)))
     (build-system emacs-build-system)