299 : T[Document.Node.Edit[Command.Edit, Command.Perspective]] = |
299 : T[Document.Node.Edit[Command.Edit, Command.Perspective]] = |
300 variant(List( |
300 variant(List( |
301 { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) }, |
301 { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) }, |
302 { case Document.Node.Deps(header) => |
302 { case Document.Node.Deps(header) => |
303 val master_dir = File.standard_url(name.master_dir) |
303 val master_dir = File.standard_url(name.master_dir) |
304 val imports = header.imports.map({ case (a, _) => a.node }) |
304 val imports = header.imports.map(_.node) |
305 val keywords = |
305 val keywords = |
306 header.keywords.map({ case (a, Keyword.Spec(b, c, d)) => (a, ((b, c), d)) }) |
306 header.keywords.map({ case (a, Keyword.Spec(b, c, d)) => (a, ((b, c), d)) }) |
307 (Nil, |
307 (Nil, |
308 pair(string, pair(string, pair(list(string), pair(list(pair(string, |
308 pair(string, pair(string, pair(list(string), pair(list(pair(string, |
309 pair(pair(string, list(string)), list(string)))), list(string)))))( |
309 pair(pair(string, list(string)), list(string)))), list(string)))))( |