diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/Optimize.hs | 5 |
1 files 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)) |