From f870c4d80f9e1b55a18c54f8119e5ed11f9d14e1 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 18 Mar 2010 19:34:30 +0000 Subject: syntax for inaccessible patterns in GF --- src/runtime/haskell/PGF.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/runtime/haskell/PGF.hs') diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index a2a2154bb..9cb23bf50 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -302,7 +302,8 @@ browse pgf id = fmap (\def -> (def,producers,consumers)) definition Just (ty,_,Just eqs) -> Just $ render (text "fun" <+> ppCId id <+> colon <+> ppType 0 [] ty $$ if null eqs then empty - else text "def" <+> vcat [let (scope,ds) = mapAccumL (ppPatt 9) [] patts + else text "def" <+> vcat [let scope = foldl pattScope [] patts + ds = map (ppPatt 9 scope) patts in ppCId id <+> hsep ds <+> char '=' <+> ppExpr 0 scope res | Equ patts res <- eqs]) Just (ty,_,Nothing ) -> Just $ render (text "data" <+> ppCId id <+> colon <+> ppType 0 [] ty) Nothing -> case Map.lookup id (cats (abstract pgf)) of -- cgit v1.2.3