diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-09 12:17:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-09 12:17:42 +0000 |
| commit | a34eed5189ab21d08cecc7171815bb51f7ff18b9 (patch) | |
| tree | 2bbfc4aa23e23cb56663c97b9270702606d3f69c /src/GF/Devel/Optimize.hs | |
| parent | aa94e340980f715b8d20e6cbc60d989b5c59e6b5 (diff) | |
lincat can now be just Str
Diffstat (limited to 'src/GF/Devel/Optimize.hs')
| -rw-r--r-- | src/GF/Devel/Optimize.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |