diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-09-22 16:24:02 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-09-22 16:24:02 +0000 |
| commit | bb599029c96f9e28d5fa00def33a1ecf0baab8c3 (patch) | |
| tree | 5e13d181e41962f0608d107973af9a4b260689b0 /src/compiler/GF | |
| parent | 6db0c74c2f120c829e666879b39f57afe1ed3318 (diff) | |
change the precedence for the left argument of ->
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Grammar/Parser.y | 2 | ||||
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Grammar/Parser.y b/src/compiler/GF/Grammar/Parser.y index e070f939d..23974f6b1 100644 --- a/src/compiler/GF/Grammar/Parser.y +++ b/src/compiler/GF/Grammar/Parser.y @@ -554,7 +554,7 @@ ListBind Decl :: { [Hypo] } Decl : '(' ListBind ':' Exp ')' { [(b,x,$4) | (b,x) <- $2] } - | Exp4 { [mkHypo $1] } + | Exp3 { [mkHypo $1] } ListTupleComp :: { [Term] } ListTupleComp diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index c4a449cd7..ef31af3bb 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -240,7 +240,7 @@ ppEnv e = hcat (map (\(x,t) -> braces (ppIdent x <> text ":=" <> ppValue Unquali str s = doubleQuotes (text s)
ppDecl q (_,id,typ)
- | id == identW = ppTerm q 4 typ
+ | id == identW = ppTerm q 3 typ
| otherwise = parens (ppIdent id <+> colon <+> ppTerm q 0 typ)
ppDDecl q (_,id,typ)
|