added SkewRandomAccessList to the testing script and added a comment to the ant build file.

build.xml

@@ -124,9 +124,10 @@
     </target>
 
     <target name="compile-examples" depends="dist" description="compile the examples">
-        <mkdir dir="${build.examples.dir}" /> 
+        <mkdir dir="${build.examples.dir}" />    	
         <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" 
-        	addparams="${scalac.funcheck.plugin}">
+        	addparams="${scalac.default.params}">
+        	<!-- addparams="${scalac.funcheck.plugin}" crashes for some unknown reason -->
             <classpath>
             	<path refid="scalac.class.path" />
             	<path refid="scala.lib.extension.path" />

forall-tests.sh

@@ -71,6 +71,7 @@ scalac examples/plugin/LambdaEvaluator.scala
 scalac examples/plugin/PropositionalLogic.scala
 scalac examples/plugin/SetRedBlackTree.scala
 scalac examples/plugin/ConsSnoc.scala
+scalac examples/plugin/SkewBinaryRandomAccessList.scala
 
 scalac examples/plugin/kawaguchi_pldi2010/InsertSort.scala
 scalac examples/plugin/kawaguchi_pldi2010/MergeSort.scala
@@ -105,6 +106,7 @@ export LambdaEvaluator="plugin.LambdaEvaluator"
 export PropositionalLogic="plugin.PropositionalLogic"
 export SetRedBlackTree="plugin.SetRedBlackTree"
 export ConsSnoc="plugin.ConsSnoc"
+export SkewList="plugin.SkewBinaryRandomAccessList"
 
 export InsertSort="plugin.kawaguchi_pldi2010.InsertSort"
 export MergeSort="plugin.kawaguchi_pldi2010.MergeSort"
@@ -113,6 +115,7 @@ export QuickSort="plugin.kawaguchi_pldi2010.QuickSort"
 export MapReduce="plugin.kawaguchi_pldi2010.MapReduce"
 export SplayHeap="plugin.kawaguchi_pldi2010.SplayHeap"
 
+
 echo " - Testing ${BST}"
 scala ${BST}
 
@@ -134,6 +137,9 @@ scala ${PropositionalLogic}
 echo " - Testing ${ConsSnoc}"
 scala ${ConsSnoc}
 
+echo " - Testing ${SkewList}"
+scala ${SkewList}
+
 echo " - Testing ${InsertSort}"
 scala ${InsertSort}