Problem running Chalice from command line

Feb 23, 2012 at 10:41 AM

I am have problems getting Chalice to work from command line. I already have Boogie, Z3, and Scala (standard install) working. I have downloaded the Chalice nightly build (21/02/2012), and extracted it into the Boogie folder (I previously also tried extracting into a separate folder, but it would still not work from command line). I am using Windows 7 Professional.

I tried running the provided Chalice batch file on a given sample program as follows:

chalice.bat examples\cell.chalice

I get the following error:

java.lang.NoSuchMethodError: scala.util.parsing.combinator.Parsers$Parser.$up$up$up(Ljava/lang/Object;)Lscala/util/parsing/combinator/Parsers$Parser;
    at chalice.Parser$$anonfun$atom$1$$anonfun$apply$352.apply(Parser.scala:495)
    at chalice.Parser$$anonfun$atom$1$$anonfun$apply$352.apply(Parser.scala:495)
    at scala.util.parsing.combinator.Parsers$Parser.p$3(Parsers.scala:209)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Failure.append(Parsers.scala:163)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Failure.append(Parsers.scala:163)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Success.flatMapWithNext(Parsers.scala:114)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:602)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:588)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Success.flatMapWithNext(Parsers.scala:114)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1$$anonfun$apply$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Failure.append(Parsers.scala:163)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.applyp$1(Parsers.scala:594)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.continue$1(Parsers.scala:599)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:603)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:588)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Success.flatMapWithNext(Parsers.scala:114)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Success.flatMapWithNext(Parsers.scala:114)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$flatMap$1.apply(Parsers.scala:201)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$map$1.apply(Parsers.scala:204)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:733)
    at scala.util.parsing.combinator.Parsers$$anonfun$positioned$1.apply(Parsers.scala:732)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:602)
    at scala.util.parsing.combinator.Parsers$$anonfun$rep1$1.apply(Parsers.scala:588)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$Parser$$anonfun$append$1.apply(Parsers.scala:210)
    at scala.util.parsing.combinator.Parsers$$anon$3.apply(Parsers.scala:183)
    at scala.util.parsing.combinator.Parsers$$anon$2.apply(Parsers.scala:754)
    at chalice.Parser.parseFile(Parser.scala:20)
    at chalice.Chalice$$anonfun$21.apply(Chalice.scala:233)
    at chalice.Chalice$$anonfun$21.apply(Chalice.scala:232)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
    at scala.collection.immutable.List.foreach(List.scala:45)
    at scala.collection.TraversableLike$class.map(TraversableLike.scala:194)
    at scala.collection.immutable.List.map(List.scala:45)
    at chalice.Chalice$.parsePrograms(Chalice.scala:232)
    at chalice.Chalice$.main(Chalice.scala:278)
    at chalice.Chalice.main(Chalice.scala)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
    at java.lang.reflect.Method.invoke(Unknown Source)
    at scala.tools.nsc.util.ScalaClassLoader$$anonfun$run$1.apply(ScalaClassLoader.scala:78)
    at scala.tools.nsc.util.ScalaClassLoader$class.asContext(ScalaClassLoader.scala:24)
    at scala.tools.nsc.util.ScalaClassLoader$URLClassLoader.asContext(ScalaClassLoader.scala:88)
    at scala.tools.nsc.util.ScalaClassLoader$class.run(ScalaClassLoader.scala:78)
    at scala.tools.nsc.util.ScalaClassLoader$URLClassLoader.run(ScalaClassLoader.scala:101)
    at scala.tools.nsc.ObjectRunner$.run(ObjectRunner.scala:33)
    at scala.tools.nsc.ObjectRunner$.runAndCatch(ObjectRunner.scala:40)
    at scala.tools.nsc.MainGenericRunner.runTarget$1(MainGenericRunner.scala:56)
    at scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:80)
    at scala.tools.nsc.MainGenericRunner$.main(MainGenericRunner.scala:89)
    at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

Please let me know what is causing this error, how I can resolve it, and how I can get Chalice to work from command line.

Many thanks,

Chinmay

Mar 5, 2012 at 2:03 PM

I'm having the exact same issue on another Windows 7 machine. Any help would be appreciated.

Thanks.

 

Mar 9, 2012 at 9:28 AM

Which Scala version are you using? At the moment, Chalice requires Scala 2.8.1 to be run, and backwards-incompatible changes in the libraries might cause Chalice to crash when run with newer versions of Scala.

Mar 9, 2012 at 12:08 PM

I am using Scala 2.9.1-1 (http://www.scala-lang.org/downloads).

Mar 10, 2012 at 12:43 AM

This is likely to cause the problem mentioned in the initial post. Please try installing Scala 2.8.1, this should fix the issue. Hopefully we will soon be able to update the Scala version to the most recent version.

Mar 10, 2012 at 9:49 AM

Thanks for your helpful advice Stefan. The verifier seems to work when I use Scala-2.8.1 as you suggested.