4 commits

Author	SHA1	Message	Date
Sebastian Ullrich	46f734b1b1	refactor(library/init/lean/parser/reader): replace macro with syntax_node_kind ... Also make sure that the name inside a node kind is the full name of the declaration. This way, we cannot have accidentally conflicting node kind names.	2018-08-28 13:13:14 -07:00
Sebastian Ullrich	61f8ebf4ef	refactor(library/init/lean/parser/reader): destructure reader into monad and has_tokens typeclass	2018-08-23 10:38:59 -07:00
Sebastian Ullrich	287fdce45b	refactor(library/init/lean/parser/reader): remove reader.has_view default instance	2018-08-22 14:32:03 -07:00
Sebastian Ullrich	218af640bb	fix(library/init/lean/parser/reader/term): add missing file	2018-07-20 18:44:37 +02:00