Fixed bug.

chewxy · Mar 8, 2018 · 8206240 · 8206240
1 parent 6554af6
commit 8206240
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/constraint.go b/constraint.go
@@ -5,6 +5,6 @@ import "fmt"
 // A Constraint is well.. a constraint that says a must equal to b. It's used mainly in the constraint generation process.
 type Constraint Pair
 
-func (c Constraint) Apply(sub Subs) Substitutable   { (*Pair)(&c).Apply(sub); return c }
+func (c Constraint) Apply(sub Subs) Substitutable   { return Constraint(*(*Pair)(&c).Apply(sub)) }
 func (c Constraint) FreeTypeVar() TypeVarSet        { return Pair(c).FreeTypeVar() }
 func (c Constraint) Format(state fmt.State, r rune) { fmt.Fprintf(state, "{%v = %v}", c.A, c.B) }
diff --git a/debug.go b/debug.go
@@ -11,7 +11,7 @@ import (
 )
 
 // DEBUG returns true when it's in debug mode
-const DEBUG = false
+const DEBUG = true
 
 var tabcount uint32