summaryrefslogtreecommitdiff
path: root/src/GF/Canon
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Canon')
-rw-r--r--src/GF/Canon/CanonToGrammar.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/Canon/CanonToGrammar.hs b/src/GF/Canon/CanonToGrammar.hs
index 758bddd69..780a953e1 100644
--- a/src/GF/Canon/CanonToGrammar.hs
+++ b/src/GF/Canon/CanonToGrammar.hs
@@ -80,7 +80,9 @@ redInfo (c,info) = errIn ("decompiling abstract" +++ show c) $ do
xx' <- mapM redArgVar xx
body' <- redCTerm body
ppr' <- redCTerm ppr
- return $ G.CncFun Nothing (Yes (F.mkAbs xx' body')) (Yes ppr')
+ cat' <- redIdent cat
+ return $ G.CncFun (Just (cat', ([],F.typeStr))) -- Nothing
+ (Yes (F.mkAbs xx' body')) (Yes ppr')
AnyInd b c -> liftM (G.AnyInd b) $ redIdent c