michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/tests/lean/abbrev2.lean.expected.out

17 lines
324 B
Text
Raw Normal View History

feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla.tst : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
foo
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla.tst : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
10 + 1
abbrev2.lean:12:6: error: unknown identifier 'bla.foo'
abbrev2.lean:14:6: error: unknown identifier 'foo'
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla.tst : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
10 + 1
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla2.tst2 : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
foo2
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla2.tst2 : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
1
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla2.tst2 : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
foo2
feat(frontends/lean): print all options for overloaded identifier closes #608
2015-05-18 17:12:16 -07:00
definition bla2.tst2 : ℕ
fix(frontends/lean/pp): bugs when pretty printing abbreviations
2015-02-10 19:06:09 -08:00
foo2
Reference in a new issue Copy permalink