From af831e01a7baf6de9ac3a475368f7315c99797a7 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 21 Sep 2009 06:56:39 +0000 Subject: refactoring in GF.Grammar.Macros --- src/GF/Grammar/Parser.y | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Grammar/Parser.y') diff --git a/src/GF/Grammar/Parser.y b/src/GF/Grammar/Parser.y index a6d9ca455..4dea6b8ec 100644 --- a/src/GF/Grammar/Parser.y +++ b/src/GF/Grammar/Parser.y @@ -249,7 +249,7 @@ DataDef :: { [(Ident,SrcSpan,Info)] } DataDef : Posn Ident '=' ListDataConstr Posn { ($2, ($1,$5), AbsCat Nothing (Just (map Cn $4))) : [(fun, ($1,$5), AbsFun Nothing Nothing Nothing) | fun <- $4] } - | Posn ListIdent ':' Exp Posn { [(cat, ($1,$5), AbsCat Nothing (Just (map Cn $2))) | Ok (_,cat) <- [valCat $4]] ++ + | Posn ListIdent ':' Exp Posn { -- (snd (valCat $4), ($1,$5), AbsCat Nothing (Just (map Cn $2))) : [(fun, ($1,$5), AbsFun (Just $4) Nothing Nothing) | fun <- $2] } ParamDef :: { [(Ident,SrcSpan,Info)] } -- cgit v1.2.3