From 740094c4d246ad0cb4d83885cd4bacdc3506254d Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Fri, 6 Apr 2012 20:28:31 -0400 Subject: [PATCH] enhance 'projects' to allow temporarily adding/removing builds to the session --- util/complete/Parsers.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/util/complete/Parsers.scala b/util/complete/Parsers.scala index ef34ea5fc..772ec20d5 100644 --- a/util/complete/Parsers.scala +++ b/util/complete/Parsers.scala @@ -96,7 +96,8 @@ trait Parsers def flag[T](p: Parser[T]): Parser[Boolean] = (p ^^^ true) ?? false def trimmed(p: Parser[String]) = p map { _.trim } - def Uri(ex: Set[URI]) = mapOrFail(URIClass)( uri => new URI(uri)) examples(ex.map(_.toString)) + lazy val basicUri = mapOrFail(URIClass)( uri => new URI(uri)) + def Uri(ex: Set[URI]) = basicUri examples(ex.map(_.toString)) } object Parsers extends Parsers object DefaultParsers extends Parsers with ParserMain