Can't find Csr when Csr.mul(...) is overloaded

[jmaessen]

Uncomment the following code in source:trunk/Library/Sparse.fss :

(* Right now uncommenting unearths an obscure unification bug.
mul[\nat p\](other: Csc[\N,m,p\]) = do
        (* Follow the structure of our rows, return Csr matrix. *)
        resultRows = rows.replica[\SparseVector[\N,p\]\]()
        resultRows.init(i,sparse(row other)),  (i,row)<-rows.indexValuePairs()
        Csr[\N,n,p\](resultRows)
  end
*)

Doing so yields the following error:

com.sun.fortress.interpreter.evaluator.ProgramError: 
/Users/jmaessen/PFC/Library/Sparse.fsi:34:7~10: Missing type Csr
Context:
/Users/jmaessen/PFC/Library/Sparse.fsi:34:7~10
ProjectFortress/tests/sparseMatrix.fss:81:2~29
ProjectFortress/tests/sparseMatrix.fss:81:2~29

	at com.sun.fortress.interpreter.evaluator.ProgramError.error(ProgramError.java:91)
	at com.sun.fortress.interpreter.evaluator.CommonEnv.getType(CommonEnv.java:165)
	at com.sun.fortress.interpreter.evaluator.EvalType.forId(EvalType.java:446)
	at com.sun.fortress.interpreter.evaluator.EvalType.evalType(EvalType.java:75)
	at com.sun.fortress.interpreter.evaluator.types.FTraitOrObject.unifyNonVarGeneric(FTraitOrObject.java:305)
	at com.sun.fortress.interpreter.evaluator.types.FTypeObjectInstance.unifyNonVar(FTypeObjectInstance.java:85)
	at com.sun.fortress.interpreter.evaluator.types.FType.unify(FType.java:573)
	at com.sun.fortress.interpreter.evaluator.EvaluatorBase.inferAndInstantiateGenericFunction(EvaluatorBase.java:238)
	at com.sun.fortress.interpreter.evaluator.values.FGenericFunction.applyInner(FGenericFunction.java:204)
	at com.sun.fortress.interpreter.evaluator.values.Fcn.apply(Fcn.java:100)
	at com.sun.fortress.interpreter.evaluator.EvaluatorBase.functionInvocation(EvaluatorBase.java:87)
	at com.sun.fortress.interpreter.evaluator.EvaluatorBase.functionInvocation(EvaluatorBase.java:77)
        ...

Which is clearly a runtime name-lookup problem of some sort.