tests/lean/trailingComma.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            [1, 2, 3]

            
            (2, 3)

            
            trailingComma.lean:6:13-6:14: error: unexpected token ','; expected ']'

            
            trailingComma.lean:7:11-7:12: error: unexpected token ','; expected ')'
	[1, 2, 3]
	(2, 3)
	trailingComma.lean:6:13-6:14: error: unexpected token ','; expected ']'
	trailingComma.lean:7:11-7:12: error: unexpected token ','; expected ')'