Progress from car ride.

src/main/scala/leon/codegen/CodeGenPhase.scala

@@ -19,6 +19,10 @@ object CodeGenPhase extends LeonPhase[Program,CompilationResult] {
 
     val cName = programToClassName(p)
 
+    for((p,cs) <- p.algebraicDataTypes) {
+      // val acf = new ClassFile(p....
+    } 
+
     val cf = new ClassFile(cName, None)
     cf.addDefaultConstructor
 

src/main/scala/leon/purescala/Definitions.scala

@@ -43,6 +43,7 @@ object Definitions {
     def definedFunctions = mainObject.definedFunctions
     def definedClasses = mainObject.definedClasses
     def classHierarchyRoots = mainObject.classHierarchyRoots
+    def algebraicDataTypes = mainObject.algebraicDataTypes
     def callGraph = mainObject.callGraph
     def calls(f1: FunDef, f2: FunDef) = mainObject.calls(f1, f2)
     def callers(f1: FunDef) = mainObject.callers(f1)
@@ -84,6 +85,10 @@ object Definitions {
 
     lazy val classHierarchyRoots : Seq[ClassTypeDef] = defs.filter(_.isInstanceOf[ClassTypeDef]).map(_.asInstanceOf[ClassTypeDef]).filter(!_.hasParent)
 
+    lazy val algebraicDataTypes : Map[AbstractClassDef,Seq[CaseClassDef]] = (defs.collect {
+      case c @ CaseClassDef(_, Some(_), _) => c
+    }).groupBy(_.parent.get)
+
     lazy val (callGraph, callers, callees) = {
       type CallGraph = Set[(FunDef,FunDef)]
 

src/test/resources/regression/codegen/purescala/Prog002.scala

+object Prog002 {
+  sealed abstract class List
+  case class Nil() extends List
+  case class Cons(head : Int, tail : List) extends List
+
+  def isNil(l : List) : Boolean = {
+    l == Nil()
+  }
+}