diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-17 13:14:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-17 13:14:04 +0000 |
| commit | 49ca46d95835a74ec581431e668612b3b3589350 (patch) | |
| tree | 00536e993011df2cdbf621d9c5fc9aef10e95e90 /src/PGF | |
| parent | 6c7330131dab6ac9ba13bbb296c51c6427e06b2b (diff) | |
bugfix in the ai command
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/Expr.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/PGF/Expr.hs b/src/PGF/Expr.hs index 97eb49f00..48d286ea1 100644 --- a/src/PGF/Expr.hs +++ b/src/PGF/Expr.hs @@ -186,10 +186,11 @@ ppExpr d scope (EFun f) = ppCId f ppExpr d scope (EVar i) = ppCId (scope !! i)
ppExpr d scope (ETyped e ty)= ppParens (d > 0) (ppExpr 0 scope e PP.<+> PP.colon PP.<+> ppType 0 scope ty)
+ppPatt :: Int -> [CId] -> Patt -> ([CId],PP.Doc)
ppPatt d scope (PApp f ps) = let (scope',ds) = mapAccumL (ppPatt 2) scope ps
in (scope',ppParens (not (List.null ps) && d > 1) (ppCId f PP.<+> PP.hsep ds))
ppPatt d scope (PLit l) = (scope,ppLit l)
-ppPatt d scope (PVar f) = (scope,ppCId f)
+ppPatt d scope (PVar f) = (f:scope,ppCId f)
ppPatt d scope PWild = (scope,PP.char '_')
ppLit (LStr s) = PP.text (show s)
|