more debugging

src/main/scala/gvc/benchmarking/BaselineChecker.scala

@@ -7,20 +7,11 @@ import gvc.weaver._
 object BaselineChecker {
 
   def check(program: IR.Program, onlyFraming: Boolean = false): Unit = {
-    program.structs.foreach{s => s.fields.foreach { f => println(f.name)}}
     val structIds =
       program.structs.map(s => (s.name, s.addField("_id", IR.IntType))).toMap
-    println("before check runtime");
-    program.structs.foreach{s => s.fields.foreach { f => println(f.name)}}
     val runtime = CheckRuntime.addToIR(program)
-    println("after check runtime");
-    program.structs.foreach{s => s.fields.foreach { f => println(f.name)}}
     val checks = new CheckImplementation(program, runtime, structIds)
-    println("after check impl");
-    program.structs.foreach{s => s.fields.foreach { f => println(f.name)}}
     program.methods.foreach(checkMethod(_, checks, onlyFraming))
-    println("after check method");
-    program.structs.foreach{s => s.fields.foreach { f => println(f.name)}}
   }
 
   def checkFraming(program: IR.Program): Unit =

src/main/scala/gvc/weaver/CheckImplementation.scala

@@ -201,18 +201,21 @@ class CheckImplementation(
                                 permsSecondary: Option[IR.Var],
                                 context: SpecificationContext
                               ): Seq[IR.Op] = {
+    println("not converted member:")
+    member.field.struct.fields.foreach{ f => print(f.name + " ")}
+    println("")
     val convertedMember = context.convertFieldMember(member)
     val struct = convertedMember.field.struct
     println(struct.fields.length)
     print("Fields: ")
     struct.fields.foreach{f => print(f.name + " ")}
     println("");
-    /*val idFieldExists = struct.fields.exists(fld => {
+    val idFieldExists = struct.fields.exists(fld => {
       fld.name == "_id"
     })
     if (!idFieldExists) {
       throw new WeaverException("Couldn't locate _id field")
-    }*/
+    }
     val instanceId =
       if (convertedMember.root.valueType.isDefined) {
         mode match {