lean2/tests/lean/t9.lean.expected.out

a + b * a : N
t9.lean:16:7: error: invalid expression
a + b * a : N
feat(frontends/lean/pp): take notation declarations into account when pretty printing TODO: support foldl/foldr and binders 2014-10-19 15:40:56 +00:00			`a + b * a : N`
fix(tests/lean): adjust tests expected output Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2014-08-13 19:35:14 +00:00			`t9.lean:16:7: error: invalid expression`
feat(frontends/lean/pp): take notation declarations into account when pretty printing TODO: support foldl/foldr and binders 2014-10-19 15:40:56 +00:00			`a + b * a : N`