diff options
Diffstat (limited to 'src')
| -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)
|