From c812f059632a82b633020fa500d572b126989cef Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Tue, 15 Sep 2026 09:57:10 +0200 Subject: [PATCH] redefine readLanguage to fix the type signature --- src/runtime/haskell/PGF.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index 2a9998148..f817e2dcd 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -173,7 +173,7 @@ ppCId = text . showCId type Language = CId -readLanguage lang = CId lang +readLanguage = readCId showLanguage (CId lang) = lang -- | creates a type from list of hypothesises, category and