From 7dd5748fa84f0cfa44f28dff5b4c5d964611fa3f Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Sat, 15 Mar 2014 11:33:54 +0000 Subject: [PATCH] bugfix in the compiler for linref of empty record --- src/compiler/GF/Compile/Optimize.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/compiler/GF/Compile/Optimize.hs b/src/compiler/GF/Compile/Optimize.hs index 9d15a9970..ad4f42b50 100644 --- a/src/compiler/GF/Compile/Optimize.hs +++ b/src/compiler/GF/Compile/Optimize.hs @@ -191,8 +191,9 @@ mkLinReference gr typ = [] -> Bad "no string" (p:ps) -> mkDefField ty (S trm p) Sort s | s == cStr -> return trm - QC p -> Bad "no string" - RecType rs -> do + QC p -> Bad "no string" + RecType [] -> Bad "no string" + RecType rs -> do msum (map (\(l,ty) -> mkDefField ty (P trm l)) (sortRec rs)) _ | Just _ <- isTypeInts typ -> Bad "no string" _ -> Bad (render (text "linearization type field cannot be" <+> ppTerm Unqualified 0 typ))