From f51f6240b64ed1ff105baae1562874251c4d2f2d Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 23 Jun 2022 14:53:58 +0200
Subject: [PATCH] remove redundant pattern

---
 src/compiler/GF/Compile/GeneratePMCFG.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs
index cd52a9b9b..60b7f7ffd 100644
--- a/src/compiler/GF/Compile/GeneratePMCFG.hs
+++ b/src/compiler/GF/Compile/GeneratePMCFG.hs
@@ -313,7 +313,6 @@ mkLinReference gr typ = do
                           Bad msg   -> fail msg
         Sort s | s == cStr -> return (Just trm)
         QC p       -> return Nothing
-        RecType [] -> return Nothing
         RecType rs -> traverse rs trm
         _ | Just _ <- isTypeInts ty -> return Nothing
         _ -> checkError ("a field in a linearization type cannot be" <+> typ)