Noted the correct subtypes of SignatureVariable in TypeConstructor.

jpt4 · May 6, 2012 · 106c06f · 106c06f
1 parent b40c655
commit 106c06f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/org/deca/compiler/signature/TypeConstructor.scala b/src/org/deca/compiler/signature/TypeConstructor.scala
@@ -48,9 +48,9 @@ abstract class TypeConstructor(val parameters: List[SignatureVariable]) {
  def resolve(params: List[MonoSignature]): LLVMType
  def represent(params: List[MonoSignature]): MonoType
  def freshlyRepresent: MonoType = represent(parameters.map(param => param match {
- case tau: MonoType => new TypeVariable(false,None)
- case rho: MonoRegion => new RegionVariable(false)
- case epsilon: MonoEffect => new EffectVariable(false)
+ case tau: TypeVariable => new TypeVariable(false,None)
+ case rho: RegionVariable => new RegionVariable(false)
+ case epsilon: EffectVariable => new EffectVariable(false)
  }))
  protected def getSpecialization(params: List[MonoSignature]): Option[LLVMType] = {
  for((specialization,llvmType) <- specializations)