From a34eed5189ab21d08cecc7171815bb51f7ff18b9 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 9 Mar 2008 12:17:42 +0000 Subject: lincat can now be just Str --- src/GF/Devel/Optimize.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Devel/Optimize.hs') diff --git a/src/GF/Devel/Optimize.hs b/src/GF/Devel/Optimize.hs index 4621e8f6c..b44f6a53d 100644 --- a/src/GF/Devel/Optimize.hs +++ b/src/GF/Devel/Optimize.hs @@ -247,7 +247,8 @@ mkLinDefault :: SourceGrammar -> Type -> Err Term mkLinDefault gr typ = do case unComputed typ of RecType lts -> mapPairsM mkDefField lts >>= (return . Abs strVar . R . mkAssign) - _ -> prtBad "linearization type must be a record type, not" typ + _ -> liftM (Abs strVar) $ mkDefField typ +---- _ -> prtBad "linearization type must be a record type, not" typ where mkDefField typ = case unComputed typ of Table p t -> do -- cgit v1.2.3