From c985dab565416251d9973f5b3bafe4d9d205b249 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 1 Oct 2003 12:46:44 +0000 Subject: Putting def definitions in place. --- src/GF/Compile/GrammarToCanon.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/GF/Compile/GrammarToCanon.hs') diff --git a/src/GF/Compile/GrammarToCanon.hs b/src/GF/Compile/GrammarToCanon.hs index d5977b510..b097405de 100644 --- a/src/GF/Compile/GrammarToCanon.hs +++ b/src/GF/Compile/GrammarToCanon.hs @@ -60,9 +60,15 @@ redInfo am (c,info) = errIn ("translating definition of" +++ prt c) $ do c' <- redIdent c case info of AbsCat (Yes cont) pfs -> do - returns c' $ C.AbsCat cont [] ---- constrs + let fs = case pfs of + Yes ts -> [(m,c) | Q m c <- ts] + _ -> [] + returns c' $ C.AbsCat cont fs AbsFun (Yes typ) pdf -> do - returns c' $ C.AbsFun typ (Eqs []) ---- df + let df = case pdf of + Yes t -> t + _ -> EData --- data vs. primitive + returns c' $ C.AbsFun typ df ResParam (Yes ps) -> do ps' <- mapM redParam ps -- cgit v1.2.3