type trace

func.go

@@ -14,6 +14,7 @@
 package gox
 
 import (
+	"fmt"
 	"go/ast"
 	"go/token"
 	"go/types"
@@ -61,7 +62,17 @@ type Func struct {
 // BodyStart func
 func (p *Func) BodyStart(pkg *Package) *CodeBuilder {
 	if debugInstr {
-		log.Println("NewFunc", p.Name(), p.Type())
+		var recv string
+		tag := "NewFunc "
+		name := p.Name()
+		sig := p.Type().(*types.Signature)
+		if v := sig.Recv(); v != nil {
+			recv = fmt.Sprintf(" (%v)", v.Type())
+		}
+		if name == "" {
+			tag = "NewClosure"
+		}
+		log.Printf("%v%v%v %v\n", tag, name, recv, sig)
 	}
 	return pkg.cb.startFuncBody(p, &p.old)
 }

template.go

@@ -42,7 +42,7 @@ func (p *TemplateParamType) Underlying() types.Type {
 }
 
 func (p *TemplateParamType) String() string {
-	panic("TemplateParamType")
+	return fmt.Sprintf("TemplateParamType{name: %v}", p.name)
 }
 
 func (p *TemplateParamType) idx() int {
@@ -76,7 +76,7 @@ func (p *unboundFuncParam) Underlying() types.Type {
 }
 
 func (p *unboundFuncParam) String() string {
-	return fmt.Sprintf("*unboundFuncParam{typ: %v}", p.tBound)
+	return fmt.Sprintf("unboundFuncParam{typ: %v}", p.tBound)
 }
 
 type unboundProxyParam struct {
@@ -88,7 +88,7 @@ func (p *unboundProxyParam) Underlying() types.Type {
 }
 
 func (p *unboundProxyParam) String() string {
-	return fmt.Sprintf("*unboundProxyParam{typ: %v}", p.real)
+	return fmt.Sprintf("unboundProxyParam{typ: %v}", p.real)
 }
 
 func boundType(pkg *Package, arg, param types.Type) error {

type_var_and_const.go

@@ -280,7 +280,7 @@ func (p *refType) Underlying() types.Type {
 }
 
 func (p *refType) String() string {
-	panic("ref type")
+	return fmt.Sprintf("refType{typ: %v}", p.typ)
 }
 
 // unboundType: unbound type
@@ -305,7 +305,7 @@ func (p *unboundType) Underlying() types.Type {
 }
 
 func (p *unboundType) String() string {
-	return fmt.Sprintf("*unboundType{typ: %v}", p.tBound)
+	return fmt.Sprintf("unboundType{typ: %v}", p.tBound)
 }
 
 func realType(typ types.Type) types.Type {
@@ -332,7 +332,7 @@ func (p *unboundMapElemType) Underlying() types.Type {
 }
 
 func (p *unboundMapElemType) String() string {
-	return fmt.Sprintf("*unboundMapElemType{key: %v}", p.key)
+	return fmt.Sprintf("unboundMapElemType{key: %v}", p.key)
 }
 
 // ----------------------------------------------------------------------------
@@ -347,7 +347,7 @@ func (p *overloadFuncType) Underlying() types.Type {
 }
 
 func (p *overloadFuncType) String() string {
-	return fmt.Sprintf("*overloadFuncType{funcs: %v}", p.funcs)
+	return fmt.Sprintf("overloadFuncType{funcs: %v}", p.funcs)
 }
 
 type instructionType struct {
@@ -359,7 +359,7 @@ func (p *instructionType) Underlying() types.Type {
 }
 
 func (p *instructionType) String() string {
-	return fmt.Sprintf("*instructionType{instr: %v}", reflect.TypeOf(p.instr))
+	return fmt.Sprintf("instructionType{instr: %v}", reflect.TypeOf(p.instr))
 }
 
 func isType(t types.Type) bool {
@@ -391,7 +391,7 @@ func (p *TypeType) Underlying() types.Type {
 }
 
 func (p *TypeType) String() string {
-	return fmt.Sprintf("*TypeType{typ: %v}", p.typ)
+	return fmt.Sprintf("TypeType{typ: %v}", p.typ)
 }
 
 // ----------------------------------------------------------------------------