JDK-8046357 : Shen.java : NullPointerException from sun.tools.javac.code.Types.isConvertible
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 8u20
  • Priority: P3
  • Status: Resolved
  • Resolution: Duplicate
  • OS: linux_ubuntu
  • CPU: x86_64
  • Submitted: 2014-06-08
  • Updated: 2014-10-28
  • Resolved: 2014-06-17
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 8
8u20Resolved
Related Reports
Duplicate :  
JDK-8056038 - NullPointerException in com.sun.tools.javac.code.Types.isConvertible
Duplicate :  
JDK-8044546 - Crash on faulty reduce/lambda
Relates :  
JDK-8062253 - NullPointerException in com.sun.tools.javac.code.Types.isConvertible
Description
FULL PRODUCT VERSION :
java version "1.8.0_20-ea"
Java(TM) SE Runtime Environment (build 1.8.0_20-ea-b17)
Java HotSpot(TM) 64-Bit Server VM (build 25.20-b17, mixed mode)


ADDITIONAL OS VERSION INFORMATION :
Ubuntu 14.04 x86_64

EXTRA RELEVANT SYSTEM CONFIGURATION :
Insider Oracle Virtualbox : 3.13.0-29-generic

A DESCRIPTION OF THE PROBLEM :
https://github.com/artella-coding/Shen.java currently builds (Apache Maven 3.0.5) fine with b14 (https://jdk8.java.net/archive/8u20-b14.html).

However upon trying to run build script (https://github.com/artella-coding/Shen.java/blob/master/build) with b17, the program crashes with the following error message : 

[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 8.003s
[INFO] Finished at: Sun Jun 08 08:38:12 BST 2014
[INFO] Final Memory: 14M/129M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:2.5.1:compile (default-compile) on project shen.java: Compilation failure
[ERROR] Failure executing javac, but could not parse the error:
[ERROR] An exception has occurred in the compiler (1.8.0_20-ea). Please file a bug at the Java Developer Connection (http://java.sun.com/webapps/bugreport)  after checking the Bug Parade for duplicates. Include your program and the following diagnostic in your report.  Thank you.
[ERROR] java.lang.NullPointerException
[ERROR] at com.sun.tools.javac.code.Types.isConvertible(Types.java:289)
[ERROR] at com.sun.tools.javac.comp.Check.assertConvertible(Check.java:922)
[ERROR] at com.sun.tools.javac.comp.Check.checkMethod(Check.java:876)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethod(Attr.java:3818)
[ERROR] at com.sun.tools.javac.comp.Attr.checkIdInternal(Attr.java:3595)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodIdInternal(Attr.java:3502)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodId(Attr.java:3481)
[ERROR] at com.sun.tools.javac.comp.Attr.checkId(Attr.java:3468)
[ERROR] at com.sun.tools.javac.comp.Attr.visitSelect(Attr.java:3350)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCFieldAccess.accept(JCTree.java:1897)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.visitApply(Attr.java:1836)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1465)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribExpr(Attr.java:642)
[ERROR] at com.sun.tools.javac.comp.Attr.visitVarDef(Attr.java:1086)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:852)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitTry(Attr.java:1365)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCTry.accept(JCTree.java:1173)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitMethodDef(Attr.java:1028)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:778)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClassBody(Attr.java:4322)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4232)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4161)
[ERROR] at com.sun.tools.javac.comp.Attr.attrib(Attr.java:4136)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.attribute(JavaCompiler.java:1248)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:523)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:381)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:370)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:361)
[ERROR] at com.sun.tools.javac.Main.compile(Main.java:74)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess0(JavacCompiler.java:551)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess(JavacCompiler.java:526)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compile(JavacCompiler.java:167)
[ERROR] at org.apache.maven.plugin.AbstractCompilerMojo.execute(AbstractCompilerMojo.java:678)
[ERROR] at org.apache.maven.plugin.CompilerMojo.execute(CompilerMojo.java:128)
[ERROR] at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:101)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:209)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
[ERROR] at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:320)
[ERROR] at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:156)
[ERROR] at org.apache.maven.cli.MavenCli.execute(MavenCli.java:537)
[ERROR] at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:196)
[ERROR] at org.apache.maven.cli.MavenCli.main(MavenCli.java:141)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException


ADDITIONAL REGRESSION INFORMATION: 
Dropdown above does not provide appropriate choice. The prior version it was working with was :

https://jdk8.java.net/archive/8u20-b14.html

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
1)Download  from https://jdk8.java.net/download.html Linux, JDK, 64-bit, tar.gz
2)Unpack to say /home/linux/Downloads/jdk1.8.0_20
3)In "/home/linux/Downloads" do "git clone https://github.com/artella-coding/Shen.java"
4)"cd Shen.java"
5)"export JAVA_HOME=/home/linux/Downloads/jdk1.8.0_20"
6)"./build"

Then you get error message above. If you do the same with "https://jdk8.java.net/archive/8u20-b14.html" there is no error

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Shen.java 0.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ shen.java ---
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 1.258s
[INFO] Finished at: Sun Jun 08 09:09:58 BST 2014
[INFO] Final Memory: 6M/83M
[INFO] ------------------------------------------------------------------------
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Shen.java 0.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ shen.java ---
[INFO] 
[INFO] --- maven-resources-plugin:2.3:resources (default-resources) @ shen.java ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 15 resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.5.1:compile (default-compile) @ shen.java ---
[INFO] Compiling 9 source files to /home/linux/Downloads/Shen.java/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.3:testResources (default-testResources) @ shen.java ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /home/linux/Downloads/Shen.java/./src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.5.1:testCompile (default-testCompile) @ shen.java ---
[INFO] Compiling 5 source files to /home/linux/Downloads/Shen.java/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.10:test (default-test) @ shen.java ---
[INFO] Surefire report directory: /home/linux/Downloads/Shen.java/target/surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running shen.SmokeTest
x
MethodHandle(boolean)boolean
false
true
false
true
[]
[2 | 3]
true
[Ljava.lang.Object;@2f7c7260
false
7
4620974692658839552
4613937818241073152
21
MethodHandle(Object)Object
85
[42 | 2]
[2 | 3]
MethodHandle(Object)Object
[3 | 2]
3
7
[]
fib
111
factorial
7257601
MethodHandle(Object)Object
243290200817664001
MethodHandle(Object)Object
my-fun
1
my-fun2
[2, 1]
my-fun3
Hello
my-symbol
shen.Primitives$1: !
true
false
5
7
MethodHandle(boolean)boolean
false
false
true
true
false
false
MethodHandle(boolean)boolean
MethodHandle(Object)Object
5
str
21
21
85
1
2804430045
Java
5
4612361558371493478
4612136378390124952
4612361558371493478
[x | y]
MethodHandle(Object)Object
[x | z]
[x | y]
true
java.lang.ArithmeticException: Division by zero
fun
fun2
7
fun
-1
-1
y
y
z
z
[]
[]
x
7
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.162 sec
Running shen.TestProgramsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec
Running shen.PrimitivesTest
Tests run: 45, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 1.737 sec
Running shen.BenchmarksTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec

Results :

Tests run: 50, Failures: 0, Errors: 0, Skipped: 3

[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ shen.java ---
[INFO] Building jar: /home/linux/Downloads/Shen.java/target/shen.java-0.1.0-SNAPSHOT.jar
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 20.182s
[INFO] Finished at: Sun Jun 08 09:10:25 BST 2014
[INFO] Final Memory: 16M/182M
[INFO] ------------------------------------------------------------------------

Shen 2010, copyright (C) 2010 Mark Tarver
released under the Shen license
www.shenlanguage.org, version 15
running under Java, implementation: Java(TM) SE Runtime Environment (build 1.8.0_20-ea-b14)
port 0.1.0-SNAPSHOT ported by H��������kan R��������berg


(0-) 
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Shen.java 0.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ shen.java ---
[INFO] 
[INFO] --- maven-resources-plugin:2.3:resources (default-resources) @ shen.java ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 15 resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.5.1:compile (default-compile) @ shen.java ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.3:testResources (default-testResources) @ shen.java ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /home/linux/Downloads/Shen.java/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.5.1:testCompile (default-testCompile) @ shen.java ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-surefire-plugin:2.10:test (default-test) @ shen.java ---
[INFO] Tests are skipped.
[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ shen.java ---
[INFO] Building jar: /home/linux/Downloads/Shen.java/target/shen.java-0.1.0-SNAPSHOT.jar
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 4.732s
[INFO] Finished at: Sun Jun 08 09:10:51 BST 2014
[INFO] Final Memory: 10M/131M
[INFO] ------------------------------------------------------------------------
reset
test-harness.exec-macro
test-harness.rcons
passed
failed
test-harness.err
test-harness.report-results-macro
test-harness.create-tests
test-harness.results

run time: 1.7249999999999996 secs
10000000000

prolog-tests: (load "prolog.shen") = loadedf
g
mem
app
rev
enjoys
enjoys
fads
fads
prop
prop
proph
consistent
app
mem
mapit
consit
different
~
likes
tall
pretty

run time: 1.2890000000000015 secs

run time: 1.296000000000003 secs
passed
prolog-tests: (shen.f563 (shen.start-new-prolog-process) (freeze true)) = true
run time: 0.004999999999999005 secs
passed
prolog-tests: (shen.f560 (shen.start-new-prolog-process) (freeze true)) = false
run time: 0.009000000000000341 secs
passed
prolog-tests: (shen.f557 (shen.start-new-prolog-process) (freeze true)) = true
run time: 0.0020000000000024443 secs
passed
prolog-tests: (shen.f554 (shen.start-new-prolog-process) (freeze true)) = 1
run time: 0.03300000000000125 secs
passed
prolog-tests: (shen.f551 (shen.start-new-prolog-process) (freeze true)) = [2 1]
run time: 0.027999999999998693 secs
passed
prolog-tests: (load "einstein.shen") = loadedeinsteins_riddle
einstein
member
next_to
iright

run time: 0.25 secs

run time: 0.25400000000000134 secs
passed
prolog-tests: (shen.f548 (shen.start-new-prolog-process) (freeze true)) = german
run time: 3.335000000000001 secs
passed
prolog-tests: (shen.f545 (shen.start-new-prolog-process) (freeze true)) = chocolate
run time: 0.021000000000000796 secs
passed
prolog-tests: (shen.f542 (shen.start-new-prolog-process) (freeze true)) = [tea chocolate]
run time: 0.026999999999993918 secs
passed
prolog-tests: (shen.f539 (shen.start-new-prolog-process) (freeze true)) = true
run time: 0.027999999999998693 secs
passed
prolog-tests: (shen.f536 (shen.start-new-prolog-process) (freeze true)) = [[1 1] [1 2] [1 3]]
run time: 0.016000000000005343 secs
passed
prolog-tests: (shen.f533 (shen.start-new-prolog-process) (freeze true)) = true
run time: 0.008000000000002672 secs
passed
prolog-tests: (shen.f530 (shen.start-new-prolog-process) (freeze true)) = false
run time: 0.0030000000000001137 secs
passed
prolog-tests: (shen.f527 (shen.start-new-prolog-process) (freeze true)) = mary
run time: 0.007999999999995566 secs
passed
prolog-tests: (load "parse.prl") = loadedpparse
parsing
member

run time: 0.21999999999999886 secs

run time: 0.2259999999999991 secs
passed
prolog-tests: (shen.f524 (shen.start-new-prolog-process) (freeze true)) = true
run time: 0.0870000000000033 secs
passed
passed ... 17
failed ...0
pass rate ...100.0%

ok

FPQi chapter 4: (load "cartprod.shen") = loadedcartesian-product
all-pairs-using-X

run time: 0.026999999999993918 secs

run time: 0.031999999999996476 secs
passed
FPQi chapter 4: (cartesian-product (cons 1 (cons 2 (cons 3 ()))) (cons 1 (cons 2 (cons 3 ())))) = [[1 1] [1 2] [1 3] [2 1] [2 2] [2 3] [3 1] [3 2] [3 3]]
run time: 0.0030000000000001137 secs
passed
FPQi chapter 4: (load "powerset.shen") = loadedpowerset
cons-X-to-each-set

run time: 0.03200000000000358 secs

run time: 0.03800000000000381 secs
passed
FPQi chapter 4: (powerset (cons 1 (cons 2 (cons 3 ())))) = [[1 2 3] [1 2] [1 3] [1] [2 3] [2] [3] []]
run time: 0.0030000000000001137 secs
passed
passed ... 21
failed ...0
pass rate ...100.0%

ok


0

FPQi chapter 5: (load "bubble version 1.shen") = loadedbubble-sort
bubble
bubble-again-perhaps

run time: 0.0519999999999996 secs

run time: 0.05700000000000216 secs
passed
FPQi chapter 5: (bubble-sort (cons 1 (cons 2 (cons 3 ())))) = [3 2 1]
run time: 0.003999999999997783 secs
passed
FPQi chapter 5: (load "bubble version 2.shen") = loadedbubble-sort
bubble

run time: 0.026999999999993918 secs

run time: 0.03599999999999426 secs
passed
FPQi chapter 5: (bubble-sort (cons 1 (cons 2 (cons 3 ())))) = [3 2 1]
run time: 0.006000000000000227 secs
passed
FPQi chapter 5: (load "spreadsheet.shen") = loadedassess-spreadsheet
assign-fixed-values
assign-cell-value
fixed-value?
get'
get-row
get-cell

run time: 0.117999999999995 secs

run time: 0.12199999999999989 secs
passed
FPQi chapter 5: (assess-spreadsheet (cons (cons jim (cons (cons wages (cons (lambda Spreadsheet (get' frank wages Spreadsheet)) ())) (cons (cons tax (cons (lambda Spreadsheet (* (get' frank tax Spreadsheet) 0.8)) ())) ()))) (cons (cons frank (cons (cons wages (cons 20000 ())) (cons (cons tax (cons (lambda Spreadsheet (* 0.25 (get' frank wages Spreadsheet))) ())) ()))) ()))) = [[jim [wages 20000] [tax 4000.0]] [frank [wages 20000] [tax 5000.0]]]
run time: 0.018000000000000682 secs
passed
passed ... 27
failed ...0
pass rate ...100.0%

ok

FPQi chapter 3: (load "prime.shen") = loadedprime?
prime*

run time: 0.02499999999999858 secs

run time: 0.028999999999996362 secs
passed
FPQi chapter 3: (prime? 1000003) = true
run time: 0.7819999999999965 secs
passed
FPQi chapter 3: (load "mutual.shen") = loadedeven?
odd?

run time: 0.027000000000001023 secs

run time: 0.03300000000000125 secs
passed
FPQi chapter 3: (even? 56) = true
run time: 0.0040000000000048885 secs
passed
FPQi chapter 3: (odd? 77) = true
run time: 0.019000000000005457 secs
passed
FPQi chapter 3: (load "change.shen") = loadedcount-change
count-change*
next-denom

run time: 0.1529999999999987 secs

run time: 0.15799999999999415 secs
passed
FPQi chapter 3: (count-change 100) = 4563
run time: 0.8119999999999976 secs
passed
passed ... 34
failed ...0
pass rate ...100.0%

ok

FPQi chapter 6: (load "semantic net.shen") = loadedquery
belongs?
spread-activation
accessible-from
is_links
type_links
assert
get-prop
clear

run time: 0.13100000000000023 secs

run time: 0.13600000000000279 secs
passed
FPQi chapter 6: (clear Mark_Tarver) = []
run time: 0.006000000000000227 secs
passed
FPQi chapter 6: (clear man) = []
run time: 0.0020000000000024443 secs
passed
FPQi chapter 6: (assert (cons Mark_Tarver (cons is_a (cons man ())))) = [man]
run time: 0.014000000000002899 secs
passed
FPQi chapter 6: (assert (cons man (cons type_of (cons human ())))) = [human]
run time: 0.006000000000000227 secs
passed
FPQi chapter 6: (query (cons is (cons Mark_Tarver (cons human ())))) = yes
run time: 0.012000000000000455 secs
passed
passed ... 40
failed ...0
pass rate ...100.0%

ok

FPQi chapter 7: (load "proplog version 1.shen") = loadedbackchain
backchain*

run time: 0.06199999999999761 secs

run time: 0.06799999999999784 secs
passed
FPQi chapter 7: (backchain q (cons (cons q (cons <= (cons p ()))) (cons (cons q (cons <= (cons r ()))) (cons (cons r (cons <= ())) ())))) = proved
run time: 0.009000000000000341 secs
passed
FPQi chapter 7: (backchain q (cons (cons q (cons <= (cons p ()))) (cons (cons q (cons <= (cons r ()))) ()))) = ...
run time: 0.003999999999997783 secs
passed
FPQi chapter 7: (load "proplog version 2.shen") = loadedbackchain
backchain*

run time: 0.05100000000000193 secs

run time: 0.055999999999997385 secs
passed
FPQi chapter 7: (backchain q (cons (cons q (cons <= (cons p ()))) (cons (cons q (cons <= (cons r ()))) (cons r ())))) = true
run time: 0.012000000000000455 secs
passed
FPQi chapter 7: (backchain q (cons (cons q (cons <= (cons p ()))) (cons (cons q (cons <= (cons r ()))) ()))) = false
run time: 0.006000000000000227 secs
passed
passed ... 46
failed ...0
pass rate ...100.0%

ok

FPQi chapter 8: (load "metaprog.shen") = loadedparse
parsed?
output_parse
generate_parser
parenthesise_rules
parenthesise_rules1
group_rules
group_rules1
place_in_group
belongs-in?
compile_rules
lex?
generate_code_for_nonlex
mapapp
get_characteristic_non_terminal
gcfn_help
apply_expansion
ae_help
generate_code_for_lex
gcfl_help

run time: 0.2740000000000009 secs

run time: 0.28000000000000114 secs
passed
FPQi chapter 8: (generate_parser (cons sent (cons --> (cons np (cons vp (cons np (cons --> (cons name (cons np (cons --> (cons det (cons n (cons name (cons --> (cons "John" (cons name (cons --> (cons "Bill" (cons name (cons --> (cons "Tom" (cons det (cons --> (cons "the" (cons det (cons --> (cons "a" (cons det (cons --> (cons "that" (cons det (cons --> (cons "this" (cons n (cons --> (cons "girl" (cons n (cons --> (cons "ball" (cons vp (cons --> (cons vtrans (cons np (cons vp (cons --> (cons vintrans (cons vtrans (cons --> (cons "kicks" (cons vtrans (cons --> (cons "likes" (cons vintrans (cons --> (cons "jumps" (cons vintrans (cons --> (cons "flies" ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = [sent np name det n vp vtrans vintrans]
run time: 0.3430000000000035 secs
passed
passed ... 48
failed ...0
pass rate ...100.0%

ok

chapter 11: (load "binary.shen") = loadedtype#binary
complement

run time: 0.5050000000000026 secs

run time: 0.5100000000000051 secs
passed
chapter 11: (complement (cons 1 (cons 0 ()))) = [0 1]
run time: 0.009000000000000341 secs
passed
chapter 11: (load "streams.shen") = loadedtype#progression
delay
force
end?

run time: 0.25099999999999767 secs

run time: 0.2560000000000002 secs
passed
chapter 11: (fst (delay (@p 0 (@p (+ 1) (lambda X false))))) = 1
run time: 0.013999999999995794 secs
passed
passed ... 52
failed ...0
pass rate ...100.0%

ok

strings: (load "strings.shen") = loadedsubst-string
subst-string'
rwilli
strlen
trim-string-left
trim-string-right
trim-string
reverse-string
alldigits?
digit?

run time: 0.1910000000000025 secs

run time: 0.19300000000000495 secs
passed
strings: (subst-string "a" "b" "cba") = "caa"
run time: 0.009000000000000341 secs
passed
strings: (strlen "123") = 3
run time: 0.003999999999997783 secs
passed
strings: (trim-string-left (cons " " ()) " hi ") = "hi "
run time: 0.0030000000000001137 secs
passed
strings: (trim-string-right (cons " " ()) " hi ") = " hi"
run time: 0.014000000000002899 secs
passed
strings: (trim-string (cons " " ()) " hi ") = "hi"
run time: 0.0030000000000001137 secs
passed
strings: (reverse-string "abc") = "cba"
run time: 0.0020000000000024443 secs
passed
strings: (alldigits? "123") = true
run time: 0.0040000000000048885 secs
passed
passed ... 60
failed ...0
pass rate ...100.0%

ok

calculator.shen - chapter 11: (load "calculator.shen") = loadedtype#arith-expr
do-calculation

run time: 0.41100000000000136 secs

run time: 0.4159999999999968 secs
passed
calculator.shen - chapter 11: (do-calculation (cons (cons num (cons 12 ())) (cons + (cons (cons (cons num (cons 7 ())) (cons * (cons (cons num (cons 4 ())) ()))) ())))) = 40
run time: 0.009000000000000341 secs
passed
passed ... 62
failed ...0
pass rate ...100.0%

ok

structures 1 - chapter 12: (load "structures-untyped.shen") = loadeddefstruct
selectors
selector
constructor
params
make-association-list
recognisor

run time: 0.09000000000000341 secs

run time: 0.09499999999999886 secs
passed
structures 1 - chapter 12: (defstruct ship (cons length (cons name ()))) = ship
run time: 0.0659999999999954 secs
passed
structures 1 - chapter 12: (make-ship 200 "Mary Rose") = [[structure | ship] [length | 200] [name | "Mary Rose"]]
run time: 0.0030000000000001137 secs
passed
structures 1 - chapter 12: (ship-length (make-ship 200 "Mary Rose")) = 200
run time: 0.005000000000002558 secs
passed
structures 1 - chapter 12: (ship-name (make-ship 200 "Mary Rose")) = "Mary Rose"
run time: 0.0030000000000001137 secs
passed
passed ... 67
failed ...0
pass rate ...100.0%

ok

structures 2 - chapter 12: (load "structures-typed.shen") = loadeddefstruct
selector-types
recognisor-type
constructor-type
assemble-type
defstruct
selectors
selector
constructor
params
make-association-list
recognisor

run time: 0.2010000000000005 secs

run time: 0.2049999999999983 secs
passed
structures 2 - chapter 12: (defstruct ship (cons (@p length number) (cons (@p name string) ()))) = ship
run time: 0.10600000000000165 secs
passed
structures 2 - chapter 12: (make-ship 200 "Mary Rose") = [[structure | ship] [length | 200] [name | "Mary Rose"]]
run time: 0.0030000000000001137 secs
passed
structures 2 - chapter 12: (ship-length (make-ship 200 "Mary Rose")) = 200
run time: 0.001999999999995339 secs
passed
structures 2 - chapter 12: (ship-name (make-ship 200 "Mary Rose")) = "Mary Rose"
run time: 0.003999999999997783 secs
passed
passed ... 72
failed ...0
pass rate ...100.0%

ok

classes 1 - chapter 12: (load "classes-untyped.shen") = loadeddefclass
make-instance
get-value
get-value-test
has-value?
has-value-test
has-attribute?
change-value
instance-of

run time: 0.1180000000000021 secs

run time: 0.12199999999999989 secs
passed
classes 1 - chapter 12: (defclass ship (cons length (cons name ()))) = ship
run time: 0.006000000000000227 secs
passed
classes 1 - chapter 12: (set s (make-instance ship)) = [[class | ship] [length | fail] [name | fail]]
run time: 0.0049999999999954525 secs
passed
classes 1 - chapter 12: (has-value? length (value s)) = false
run time: 0.0049999999999954525 secs
passed
classes 1 - chapter 12: (set s (change-value (value s) length 100)) = [[class | ship] [length | 100] [name | fail]]
run time: 0.005000000000002558 secs
passed
classes 1 - chapter 12: (get-value length (value s)) = 100
run time: 0.003999999999997783 secs
passed
passed ... 78
failed ...0
pass rate ...100.0%

ok

classes 2 - chapter 12: (load "classes-typed.shen") = loadeddefclass
defclass
axiom
record-attribute-types
make-instance
make-instance
get-value
get-value
get-value-test
has-value?
has-value?
has-value-test
has-attribute?
has-attribute?
change-value
change-value
instance-of
instance-of

run time: 0.2889999999999944 secs

run time: 0.2909999999999968 secs
passed
classes 2 - chapter 12: (defclass ship (cons (@p length number) (cons (@p name string) ()))) = ship
run time: 0.12199999999999989 secs
passed
classes 2 - chapter 12: (has-value? length (make-instance ship)) = false
run time: 0.010000000000005116 secs
passed
classes 2 - chapter 12: (change-value (make-instance ship) length 100) = [[class | ship] [length | 100] [name | fail]]
run time: 0.003999999999997783 secs
passed
classes 2 - chapter 12: (get-value length (change-value (make-instance ship) length 100)) = 100
run time: 0.003999999999997783 secs
passed
passed ... 83
failed ...0
pass rate ...100.0%

ok

abstract datatypes - chapter 12: (load "stack.shen") = loadedempty-stack
push
top
pop
empty-stack
push
top
pop

run time: 0.125 secs

run time: 0.12700000000000244 secs
passed
abstract datatypes - chapter 12: (top (push 0 (empty-stack _))) = 0
run time: 0.006000000000000227 secs
passed
passed ... 85
failed ...0
pass rate ...100.0%

ok

yacc: (load "yacc.shen") = loadedwarning: <np> <vp> has no semantics.
<sent>
warning: the has no semantics.
warning: a has no semantics.
<det>
warning: <det> <n> has no semantics.
warning: <name1> has no semantics.
<np>
warning: cat has no semantics.
warning: dog has no semantics.
<n>
<name1>
warning: <vtrans> <np> has no semantics.
<vp>
warning: likes has no semantics.
warning: chases has no semantics.
<vtrans>
<des>
warning: d <ds> has no semantics.
warning: d has no semantics.
<ds>
warning: e <es> has no semantics.
warning: e has no semantics.
<es>
<sent'>
question
<as->bs>
<find-digit>
warning: X <morestuff> has no semantics.
warning: X has no semantics.
<morestuff>
warning: 0 has no semantics.
warning: 1 has no semantics.
warning: 2 has no semantics.
warning: 3 has no semantics.
warning: 4 has no semantics.
warning: 5 has no semantics.
warning: 6 has no semantics.
warning: 7 has no semantics.
warning: 8 has no semantics.
warning: 9 has no semantics.
<digit>
warning: <digit> <morestuff> has no semantics.
<find-digit'>
warning: <as> <bs> <cs> has no semantics.
<asbscs>
warning: a <as> has no semantics.
warning: a has no semantics.
<as>
warning: b <bs> has no semantics.
warning: b has no semantics.
warning: <e> has no semantics.
<bs>
warning: c <cs> has no semantics.
warning: c has no semantics.
<cs>
warning: <as> <bs'> <cs> has no semantics.
<asbs'cs>
warning: b <bs'> has no semantics.
warning: b has no semantics.
warning: <e> has no semantics.
<bs'>
<find-digit''>
<digit''>
<anbncn>
warning: a <as> has no semantics.
warning: a has no semantics.
<as>
warning: b <bs> has no semantics.
warning: b has no semantics.
<bs>
warning: c <cs> has no semantics.
warning: c has no semantics.
<cs>
equal-length?
appendall
<a*s>
warning: [cons b []] b has no semantics.
<b*>
warning: c has no semantics.
<c*>
<d*>

run time: 0.75 secs

run time: 0.7530000000000001 secs
passed
yacc: (compile <sent> (cons the (cons cat (cons likes (cons the (cons dog ()))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [the cat likes the dog]
run time: 0.015999999999998238 secs
passed
yacc: (compile <sent> (cons the (cons cat (cons likes (cons the (cons canary ()))))) (lambda E (fail))) = ...
run time: 0.006000000000000227 secs
passed
yacc: (compile <asbscs> (cons a (cons a (cons a (cons b (cons b (cons c ())))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [a a a b b c]
run time: 0.02300000000000324 secs
passed
yacc: (compile <find-digit> (cons a (cons v (cons f (cons g (cons 6 (cons y (cons u ()))))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [6]
run time: 0.017000000000003013 secs
passed
yacc: (compile <vp> (cons chases (cons the (cons cat ()))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [chases the cat]
run time: 0.003999999999997783 secs
passed
yacc: (compile <des> (cons (cons d ()) (cons (cons e (cons e ())) ())) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [d e e]
run time: 0.00999999999999801 secs
passed
yacc: (compile <sent'> (cons the (cons cat (cons likes (cons the (cons dog ()))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [is it true that your father likes the dog ?]
run time: 0.01099999999999568 secs
passed
yacc: (compile <as> (cons a (cons a (cons a ()))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [a a a]
run time: 0.0030000000000001137 secs
passed
yacc: (compile <find-digit'> (cons a (cons v (cons f (cons g (cons 6 (cons y (cons u ()))))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [6 y u]
run time: 0.011000000000002785 secs
passed
yacc: (compile <asbs'cs> (cons a (cons v (cons f (cons g (cons 6 (cons y (cons u ()))))))) (lambda E (fail))) = ...
run time: 0.006999999999997897 secs
passed
yacc: (compile <find-digit''> (cons a (cons v (cons f (cons g (cons 6 (cons y (cons u ()))))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = 6
run time: 0.008000000000002672 secs
passed
yacc: (compile <anbncn> (cons a (cons a (cons a (cons b (cons b (cons b (cons c (cons c (cons c ()))))))))) (lambda E (if (cons? E) (simple-error (cn "parse error here: " (shen.app E "
" shen.s))) (simple-error "parse error
")))) = [a a a b b b c c c]
run time: 0.01099999999999568 secs
passed
passed ... 98
failed ...0
pass rate ...100.0%

ok
[]
true

N Queens: (preclude-all-but ()) = []
run time: 0.0010000000000047748 secs
passed
N Queens: (tc +) = true
run time: 9.999999999976694E-4 secs
passed
N Queens: (load "n queens.shen") = loaded
n-queens : (number --> (list (list number)))
initialise : (number --> (list number))
n-queens-loop : (number --> ((list number) --> (list (list number))))
all_Ns? : (number --> ((list number) --> boolean))
next_n : (number --> ((list number) --> (list number)))
ok_row? : ((list number) --> boolean)
ok_diag? : ((list number) --> boolean)
ok_diag_N? : (number --> (number --> ((list number) --> boolean)))
run time: 0.7899999999999991 secs

typechecked in 115828 inferences

run time: 0.7999999999999972 secs
passed
N Queens: (n-queens 5) = [[4 2 5 3 1] [3 5 2 4 1] [5 3 1 4 2] [4 1 3 5 2] [5 2 4 1 3] [1 4 2 5 3] [2 5 3 1 4] [1 3 5 2 4] [3 1 4 2 5] [2 4 1 3 5]]
run time: 0.07200000000000273 secs
passed
N Queens: (tc -) = false
run time: 0.0010000000000047748 secs
passed
passed ... 103
failed ...0
pass rate ...100.0%

ok

search: (tc +) = true
run time: 0.013999999999995794 secs
passed
search: (load "search.shen") = loaded
breadth-first : (state --> ((state --> (list state)) --> ((state --> boolean) --> boolean)))
b* : ((state --> (list state)) --> ((state --> boolean) --> ((list state) --> boolean)))
some : ((A --> boolean) --> ((list A) --> boolean))
depth : (state --> ((state --> (list state)) --> ((state --> boolean) --> boolean)))
d* : ((state --> (list state)) --> ((state --> boolean) --> ((list state) --> boolean)))
hill : ((state --> number) --> (state --> ((state --> (list state)) --> ((state --> boolean) --> boolean))))
h* : ((state --> number) --> ((state --> (list state)) --> ((state --> boolean) --> ((list state) --> boolean))))
order_states : ((state --> number) --> ((list state) --> (list state)))
sort : ((A --> (A --> boolean)) --> ((list A) --> (list A)))
sort* : ((A --> (A --> boolean)) --> ((list A) --> (list A)))
run time: 0.777000000000001 secs

typechecked in 119645 inferences

run time: 0.7849999999999966 secs
passed
search: (tc -) = false
run time: 0.0010000000000047748 secs
passed
passed ... 106
failed ...0
pass rate ...100.0%

ok

whist - chapter 11: (tc +) = true
run time: 9.999999999976694E-4 secs
passed
whist - chapter 11: (load "whist.shen") = loaded
type#rank : symbol
type#suit : symbol
type#lead : symbol
whist : (lead --> string)
deck : (A --> (list (rank * suit)))
cartprod : ((list A) --> ((list B) --> (list (A * B))))
deal-whist : (number --> ((list (rank * suit)) --> (((list (rank * suit)) * (list (rank * suit))) --> ((list (rank * suit)) * (list (rank * suit))))))
deal-card : ((list (rank * suit)) --> (rank * suit))
random : (A --> A)
whist-loop : (((list (rank * suit)) * (list (rank * suit))) --> (number --> (number --> (lead --> string))))
determine-legal : ((rank * suit) --> ((rank * suit) --> ((list (rank * suit)) --> (rank * suit))))
legal? : ((rank * suit) --> ((rank * suit) --> ((list (rank * suit)) --> boolean)))
void-of-suit? : (suit --> ((list (rank * suit)) --> boolean))
same-suit : ((list (rank * suit)) --> (suit --> (list (rank * suit))))
determine-winner : ((rank * suit) --> ((rank * suit) --> (lead --> lead)))
return-winner : (lead --> lead)
game-over? : (((list (rank * suit)) * (list (rank * suit))) --> boolean)
play-computer-lead : ((list (rank * suit)) --> (rank * suit))
computer-shows : ((rank * suit) --> (rank * suit))
map-rank : (rank --> string)
map-suit : (suit --> string)
select-highest : ((list (rank * suit)) --> (rank * suit))
select-highest-help : ((rank * suit) --> ((list (rank * suit)) --> (rank * suit)))
higher? : ((rank * suit) --> ((rank * suit) --> boolean))
play-computer-follow : ((list (rank * suit)) --> ((rank * suit) --> (rank * suit)))
sort : ((A --> (A --> boolean)) --> ((list A) --> (list A)))
sort-help : ((A --> (A --> boolean)) --> ((list A) --> (list A)))
select-higher : ((rank * suit) --> ((list (rank * suit)) --> (rank * suit)))
select-lowest : ((list (rank * suit)) --> (rank * suit))
select-lowest-help : ((rank * suit) --> ((list (rank * suit)) --> (rank * suit)))
lower? : ((rank * suit) --> ((rank * suit) --> boolean))
play-player : ((list (rank * suit)) --> (rank * suit))
show-cards : (number --> ((list (rank * suit)) --> string))
in-range? : (number --> ((list (rank * suit)) --> boolean))
run time: 2.301000000000002 secs

typechecked in 132201 inferences

run time: 2.311 secs
passed
whist - chapter 11: (tc -) = false
run time: 9.999999999976694E-4 secs
passed
passed ... 109
failed ...0
pass rate ...100.0%

ok

Qi interpreter - chapter 13: (tc +) = true
run time: 9.999999999976694E-4 secs
passed
Qi interpreter - chapter 13: (load "interpreter.shen") = loaded
type#num : symbol
type#primitive_object : symbol
type#pattern : symbol
type#l_formula : symbol
l_interpreter : (A --> B)
read_eval_print_loop : (string --> A)
normal_form : (l_formula --> l_formula)
==>> : (l_formula --> l_formula)
eval_error? : (l_formula --> boolean)
successor : (A --> l_formula)
predecessor : (A --> l_formula)
sub : ((list (pattern * l_formula)) --> (l_formula --> l_formula))
match : (pattern --> (l_formula --> (list (pattern * l_formula))))
no_match? : ((list (pattern * l_formula)) --> boolean)
replace : (pattern --> (l_formula --> (l_formula --> l_formula)))
free? : (pattern --> (pattern --> boolean))
run time: 9.233999999999995 secs

typechecked in 421518 inferences

run time: 9.24499999999999 secs
passed
Qi interpreter - chapter 13: (tc -) = false
run time: 9.99999999990564E-4 secs
passed
passed ... 112
failed ...0
pass rate ...100.0%

ok

proof assistant - chapter 15: (tc +) = true
run time: 9.99999999990564E-4 secs
passed
proof assistant - chapter 15: (load "proof assistant.shen") = loaded
type#globals : symbol
proof-assistant : (A --> symbol)
input-assumptions : (number --> (list wff))
input-conclusion : (A --> wff)
proof-loop : ((list ((list wff) * wff)) --> ((list ((list ((list wff) * wff)) * ((list ((list wff) * wff)) --> (list ((list wff) * wff))))) --> (list ((list ((list wff) * wff)) * ((list ((list wff) * wff)) --> (list ((list wff) * wff)))))))
show-proof : (string --> symbol)
show-proof-help : ((list ((list ((list wff) * wff)) * ((list ((list wff) * wff)) --> (list ((list wff) * wff))))) --> (number --> symbol))
show-sequent : ((list ((list wff) * wff)) --> (number --> symbol))
enumerate : ((list A) --> (number --> symbol))
user-directive : (A --> ((list ((list wff) * wff)) --> (list ((list wff) * wff))))
back : ((list ((list wff) * wff)) --> (list ((list wff) * wff)))
go-back : ((list ((list ((list wff) * wff)) * ((list ((list wff) * wff)) --> (list ((list wff) * wff))))) --> (list ((list wff) * wff)))
run time: 0.5589999999999975 secs

typechecked in 425844 inferences

run time: 0.5669999999999931 secs
passed
proof assistant - chapter 15: (tc -) = false
run time: 0.0010000000000047748 secs
passed
passed ... 115
failed ...0
pass rate ...100.0%

ok

quantifier machine: (tc +) = true
run time: 0.010000000000005116 secs
passed
quantifier machine: (load "qmachine.shen") = loadedwarning: changing the type of push may create errors

type#progression : symbol
force : ((progression A) --> A)
delay : ((progression A) --> (progression A))
end? : ((progression A) --> boolean)
push : (A --> ((progression A) --> (progression A)))
forall : ((progression A) --> ((A --> boolean) --> boolean))
exists : ((progression A) --> ((A --> boolean) --> boolean))
super : ((progression A) --> ((A --> B) --> ((B --> (C --> C)) --> (C --> C))))
forall : ((progression A) --> ((A --> boolean) --> boolean))
exists : ((progression A) --> ((A --> boolean) --> boolean))
for : ((progression A) --> ((A --> B) --> number))
progn : (A --> (B --> B))
filter : ((progression A) --> ((A --> boolean) --> (list A)))
next-prime : (number --> number)
prime? : (number --> boolean)
prime-help : (number --> (number --> (number --> boolean)))
run time: 0.8370000000000033 secs

typechecked in 429514 inferences

run time: 0.8460000000000036 secs
passed
quantifier machine: (exists (cons 1 (cons (+ 1) (cons (= 100) ()))) (> 50)) = true
run time: 0.05000000000001137 secs
passed
quantifier machine: (tc -) = false
run time: 0.0010000000000047748 secs
passed
passed ... 119
failed ...0
pass rate ...100.0%

ok

depth first search: (tc +) = true
run time: 9.99999999990564E-4 secs
passed
depth first search: (load "depth'.shen") = loaded
depth' : (A --> ((A --> (list A)) --> ((A --> boolean) --> ((A --> boolean) --> (list A)))))
depth-help' : ((list A) --> ((A --> (list A)) --> ((A --> boolean) --> ((A --> boolean) --> ((list A) --> (list A))))))
run time: 0.12999999999999545 secs

typechecked in 431051 inferences

run time: 0.1389999999999958 secs
passed
depth first search: (depth' 4 (lambda X (cons (+ X 3) (cons (+ X 4) (cons (+ X 5) ())))) (lambda X (= X 27)) (lambda X (> X 27))) = [4 7 10 13 16 19 22 27]
run time: 0.016000000000005343 secs
passed
depth first search: (depth' 4 (lambda X (cons (+ X 3) ())) (lambda X (= X 27)) (lambda X (> X 27))) = []
run time: 0.0030000000000001137 secs
passed
depth first search: (tc -) = false
run time: 0.0010000000000047748 secs
passed
passed ... 124
failed ...0
pass rate ...100.0%

ok

Lisp type checker: (load "TinyTypes.shen") = loadeddefun
lambda'
type#tiny_lisp_type_theory
mk_lambda

run time: 0.32200000000000273 secs

run time: 0.32900000000000773 secs
passed
Lisp type checker: (tc +) = true
run time: 0.0010000000000047748 secs
passed
Lisp type checker: (load "TinyLispFunctions.txt") = loaded
plus : (number --> (number --> number))
member : (A --> ((list A) --> (list A)))
join : ((list A) --> ((list A) --> (list A)))
run time: 0.11700000000000443 secs

typechecked in 432406 inferences

run time: 0.12000000000000455 secs
passed
Lisp type checker: (tc -) = false
run time: 0.0030000000000001137 secs
passed
passed ... 128
failed ...0
pass rate ...100.0%

ok
0

run time: 35.981999999999985 secs

ACTUAL -
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Shen.java 0.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ shen.java ---
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 1.918s
[INFO] Finished at: Sun Jun 08 09:13:26 BST 2014
[INFO] Final Memory: 6M/80M
[INFO] ------------------------------------------------------------------------
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Shen.java 0.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ shen.java ---
[INFO] 
[INFO] --- maven-resources-plugin:2.3:resources (default-resources) @ shen.java ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 15 resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.5.1:compile (default-compile) @ shen.java ---
[INFO] Compiling 9 source files to /home/linux/Downloads/Shen.java/target/classes
[INFO] -------------------------------------------------------------
[ERROR] COMPILATION ERROR : 
[INFO] -------------------------------------------------------------
[ERROR] Failure executing javac, but could not parse the error:
An exception has occurred in the compiler (1.8.0_20-ea). Please file a bug at the Java Developer Connection (http://java.sun.com/webapps/bugreport)  after checking the Bug Parade for duplicates. Include your program and the following diagnostic in your report.  Thank you.
java.lang.NullPointerException
	at com.sun.tools.javac.code.Types.isConvertible(Types.java:289)
	at com.sun.tools.javac.comp.Check.assertConvertible(Check.java:922)
	at com.sun.tools.javac.comp.Check.checkMethod(Check.java:876)
	at com.sun.tools.javac.comp.Attr.checkMethod(Attr.java:3818)
	at com.sun.tools.javac.comp.Attr.checkIdInternal(Attr.java:3595)
	at com.sun.tools.javac.comp.Attr.checkMethodIdInternal(Attr.java:3502)
	at com.sun.tools.javac.comp.Attr.checkMethodId(Attr.java:3481)
	at com.sun.tools.javac.comp.Attr.checkId(Attr.java:3468)
	at com.sun.tools.javac.comp.Attr.visitSelect(Attr.java:3350)
	at com.sun.tools.javac.tree.JCTree$JCFieldAccess.accept(JCTree.java:1897)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.visitApply(Attr.java:1836)
	at com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1465)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribExpr(Attr.java:642)
	at com.sun.tools.javac.comp.Attr.visitVarDef(Attr.java:1086)
	at com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:852)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
	at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
	at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
	at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
	at com.sun.tools.javac.comp.Attr.visitTry(Attr.java:1365)
	at com.sun.tools.javac.tree.JCTree$JCTry.accept(JCTree.java:1173)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
	at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
	at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
	at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
	at com.sun.tools.javac.comp.Attr.visitMethodDef(Attr.java:1028)
	at com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:778)
	at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
	at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
	at com.sun.tools.javac.comp.Attr.attribClassBody(Attr.java:4322)
	at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4232)
	at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4161)
	at com.sun.tools.javac.comp.Attr.attrib(Attr.java:4136)
	at com.sun.tools.javac.main.JavaCompiler.attribute(JavaCompiler.java:1248)
	at com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
	at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
	at com.sun.tools.javac.main.Main.compile(Main.java:523)
	at com.sun.tools.javac.main.Main.compile(Main.java:381)
	at com.sun.tools.javac.main.Main.compile(Main.java:370)
	at com.sun.tools.javac.main.Main.compile(Main.java:361)
	at com.sun.tools.javac.Main.compile(Main.java:74)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:483)
	at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess0(JavacCompiler.java:551)
	at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess(JavacCompiler.java:526)
	at org.codehaus.plexus.compiler.javac.JavacCompiler.compile(JavacCompiler.java:167)
	at org.apache.maven.plugin.AbstractCompilerMojo.execute(AbstractCompilerMojo.java:678)
	at org.apache.maven.plugin.CompilerMojo.execute(CompilerMojo.java:128)
	at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:101)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:209)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
	at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
	at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
	at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
	at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
	at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:320)
	at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:156)
	at org.apache.maven.cli.MavenCli.execute(MavenCli.java:537)
	at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:196)
	at org.apache.maven.cli.MavenCli.main(MavenCli.java:141)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:483)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
	at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
	at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)

[INFO] 1 error
[INFO] -------------------------------------------------------------
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 12.126s
[INFO] Finished at: Sun Jun 08 09:13:46 BST 2014
[INFO] Final Memory: 15M/170M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:2.5.1:compile (default-compile) on project shen.java: Compilation failure
[ERROR] Failure executing javac, but could not parse the error:
[ERROR] An exception has occurred in the compiler (1.8.0_20-ea). Please file a bug at the Java Developer Connection (http://java.sun.com/webapps/bugreport)  after checking the Bug Parade for duplicates. Include your program and the following diagnostic in your report.  Thank you.
[ERROR] java.lang.NullPointerException
[ERROR] at com.sun.tools.javac.code.Types.isConvertible(Types.java:289)
[ERROR] at com.sun.tools.javac.comp.Check.assertConvertible(Check.java:922)
[ERROR] at com.sun.tools.javac.comp.Check.checkMethod(Check.java:876)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethod(Attr.java:3818)
[ERROR] at com.sun.tools.javac.comp.Attr.checkIdInternal(Attr.java:3595)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodIdInternal(Attr.java:3502)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodId(Attr.java:3481)
[ERROR] at com.sun.tools.javac.comp.Attr.checkId(Attr.java:3468)
[ERROR] at com.sun.tools.javac.comp.Attr.visitSelect(Attr.java:3350)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCFieldAccess.accept(JCTree.java:1897)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.visitApply(Attr.java:1836)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1465)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribExpr(Attr.java:642)
[ERROR] at com.sun.tools.javac.comp.Attr.visitVarDef(Attr.java:1086)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:852)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitTry(Attr.java:1365)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCTry.accept(JCTree.java:1173)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitMethodDef(Attr.java:1028)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:778)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClassBody(Attr.java:4322)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4232)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4161)
[ERROR] at com.sun.tools.javac.comp.Attr.attrib(Attr.java:4136)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.attribute(JavaCompiler.java:1248)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:523)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:381)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:370)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:361)
[ERROR] at com.sun.tools.javac.Main.compile(Main.java:74)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess0(JavacCompiler.java:551)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess(JavacCompiler.java:526)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compile(JavacCompiler.java:167)
[ERROR] at org.apache.maven.plugin.AbstractCompilerMojo.execute(AbstractCompilerMojo.java:678)
[ERROR] at org.apache.maven.plugin.CompilerMojo.execute(CompilerMojo.java:128)
[ERROR] at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:101)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:209)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
[ERROR] at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:320)
[ERROR] at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:156)
[ERROR] at org.apache.maven.cli.MavenCli.execute(MavenCli.java:537)
[ERROR] at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:196)
[ERROR] at org.apache.maven.cli.MavenCli.main(MavenCli.java:141)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException


ERROR MESSAGES/STACK TRACES THAT OCCUR :
[INFO] -------------------------------------------------------------
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 12.126s
[INFO] Finished at: Sun Jun 08 09:13:46 BST 2014
[INFO] Final Memory: 15M/170M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:2.5.1:compile (default-compile) on project shen.java: Compilation failure
[ERROR] Failure executing javac, but could not parse the error:
[ERROR] An exception has occurred in the compiler (1.8.0_20-ea). Please file a bug at the Java Developer Connection (http://java.sun.com/webapps/bugreport)  after checking the Bug Parade for duplicates. Include your program and the following diagnostic in your report.  Thank you.
[ERROR] java.lang.NullPointerException
[ERROR] at com.sun.tools.javac.code.Types.isConvertible(Types.java:289)
[ERROR] at com.sun.tools.javac.comp.Check.assertConvertible(Check.java:922)
[ERROR] at com.sun.tools.javac.comp.Check.checkMethod(Check.java:876)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethod(Attr.java:3818)
[ERROR] at com.sun.tools.javac.comp.Attr.checkIdInternal(Attr.java:3595)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodIdInternal(Attr.java:3502)
[ERROR] at com.sun.tools.javac.comp.Attr.checkMethodId(Attr.java:3481)
[ERROR] at com.sun.tools.javac.comp.Attr.checkId(Attr.java:3468)
[ERROR] at com.sun.tools.javac.comp.Attr.visitSelect(Attr.java:3350)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCFieldAccess.accept(JCTree.java:1897)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.visitApply(Attr.java:1836)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1465)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribExpr(Attr.java:642)
[ERROR] at com.sun.tools.javac.comp.Attr.visitVarDef(Attr.java:1086)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:852)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitTry(Attr.java:1365)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCTry.accept(JCTree.java:1173)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStats(Attr.java:685)
[ERROR] at com.sun.tools.javac.comp.Attr.visitBlock(Attr.java:1135)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:909)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.visitMethodDef(Attr.java:1028)
[ERROR] at com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:778)
[ERROR] at com.sun.tools.javac.comp.Attr.attribTree(Attr.java:600)
[ERROR] at com.sun.tools.javac.comp.Attr.attribStat(Attr.java:669)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClassBody(Attr.java:4322)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4232)
[ERROR] at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:4161)
[ERROR] at com.sun.tools.javac.comp.Attr.attrib(Attr.java:4136)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.attribute(JavaCompiler.java:1248)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
[ERROR] at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:523)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:381)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:370)
[ERROR] at com.sun.tools.javac.main.Main.compile(Main.java:361)
[ERROR] at com.sun.tools.javac.Main.compile(Main.java:74)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess0(JavacCompiler.java:551)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compileInProcess(JavacCompiler.java:526)
[ERROR] at org.codehaus.plexus.compiler.javac.JavacCompiler.compile(JavacCompiler.java:167)
[ERROR] at org.apache.maven.plugin.AbstractCompilerMojo.execute(AbstractCompilerMojo.java:678)
[ERROR] at org.apache.maven.plugin.CompilerMojo.execute(CompilerMojo.java:128)
[ERROR] at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:101)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:209)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
[ERROR] at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
[ERROR] at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
[ERROR] at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:320)
[ERROR] at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:156)
[ERROR] at org.apache.maven.cli.MavenCli.execute(MavenCli.java:537)
[ERROR] at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:196)
[ERROR] at org.apache.maven.cli.MavenCli.main(MavenCli.java:141)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[ERROR] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[ERROR] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[ERROR] at java.lang.reflect.Method.invoke(Method.java:483)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
[ERROR] at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException


REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
The source code is all here : https://github.com/artella-coding/Shen.java
---------- END SOURCE ----------

CUSTOMER SUBMITTED WORKAROUND :
Use jdk at https://jdk8.java.net/archive/8u20-b14.html
Comments
The user has confirmed that the current patch for JDK-8044546 fixes this bug too
17-06-2014
Please add due date or plans for getting this regression addressed in 8u20
12-06-2014
I have sent a mail to the user trying to get a more specific bug report. If I get no answer I will try to fix JDK-8044546 first and double check with the user if this bug is also fixed.
10-06-2014
This might be a duplicate of JDK-8044546.
09-06-2014