equal
deleted
inserted
replaced
142 /* make commands */ |
142 /* make commands */ |
143 |
143 |
144 def name(span: List[Token]): String = |
144 def name(span: List[Token]): String = |
145 span.find(_.is_command) match { case Some(tok) => tok.source case _ => "" } |
145 span.find(_.is_command) match { case Some(tok) => tok.source case _ => "" } |
146 |
146 |
147 type Blobs = List[(Document.Node.Name, Option[SHA1.Digest])] |
147 type Blobs = List[Exn.Result[(Document.Node.Name, SHA1.Digest)]] |
148 |
148 |
149 def apply( |
149 def apply( |
150 id: Document_ID.Command, |
150 id: Document_ID.Command, |
151 node_name: Document.Node.Name, |
151 node_name: Document.Node.Name, |
152 span: List[Token], |
152 span: List[Token], |