change the precedence for the left argument of ->

This commit is contained in:
kr.angelov
2011-09-22 16:24:02 +00:00
parent 6db0c74c2f
commit bb599029c9
2 changed files with 2 additions and 2 deletions

View File

@@ -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

View File

@@ -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)