Minor

pkg/cmd/check.go

@@ -136,6 +136,7 @@ func checkTrace(ir string, cols []tr.RawColumn, schema sc.Schema, cfg checkConfi
 	for n := cfg.padding.Left; n <= cfg.padding.Right; n++ {
 		stats := util.NewPerfStats()
 		trace, errs := builder.Padding(n).Build(cols)
+		// Log cost of expansion
 		stats.Log("Expanding trace columns")
 		// Report any errors
 		reportErrors(cfg.strict, ir, errs)

pkg/corset/compiler.go

@@ -1,8 +1,6 @@
 package corset
 
 import (
-	"fmt"
-
 	"github.com/consensys/go-corset/pkg/hir"
 	"github.com/consensys/go-corset/pkg/sexp"
 )
@@ -72,7 +70,7 @@ func (p *Compiler) Compile() (*hir.Schema, []SyntaxError) {
 	}
 	// Check constraint contexts (e.g. for constraints, lookups, etc)
 	// Type check constraints
-	fmt.Println("TODO: type / context checking ...")
+
 	// Finally, translate everything and add it to the schema.
 	return TranslateCircuit(env, p.srcmap, &p.circuit)
 }