Skip to content

Instantly share code, notes, and snippets.

@xeno-by

xeno-by/gist:10979338

Created April 17, 2014 12:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save xeno-by/10979338 to your computer and use it in GitHub Desktop.
Save xeno-by/10979338 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
[info] when verifying Template.this.parents.length.!=(0).&&(Template.this.parents.tail.exists(((x$3) => x$3.argss.nonEmpty))).`unary_!`
[info] found that Template.this.parents.length is not equal to 0
[info] and also Template.this.parents.tail.forall(((x$3) => x$3.argss.nonEmpty.`unary_!`)) is false
[info] context is Template(List(),List(Parent(Ident(),List(List())), Parent(Ident(),List(List()))),Self(None,None),List())
[info] when verifying !(parents.length != 0 && parents.tail.exists((_.argss.nonEmpty)))
[info] found that parents.length is not equal to 0
[info] and also parents.tail.forall(_.argss.empty) is false
[info] context is Template(List(),List(Parent(Ident(),List(List())), Parent(Ident(),List(List()))),Self(None,None),List())
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment