[#BOO-949] Cannot declare generic method overload with same signature as non-generic overload

Boo

Cannot declare generic method overload with same signature as non-generic overload

Created: 19/Jan/08 02:26 PM Updated: 20/Jan/08 08:51 AM

Component/s:

Compiler

Affects Version/s:

None

Fix Version/s:

0.8.1

Time Tracking:

Not Specified

Testcase included:

yes

Description

« Hide

Simplified description:

def Method(x as string):
   pass

def Method[of T] (x as string):
  pass

Produces BCE0089: Type 'TestModule' already has a definition for 'Method(string)'.

----------------------------
Original description:

class myClass:

  public def onur[of T]( x as T):
    pass

  public def onur[of T]( x as int, d as int):
    print x + d
 
  public def onur[of T]( x as string, d as int):
    pass

  public def onur( x as string,a as int, d as int):
    pass

  public def onur( x as string, d as int): // removing this method then it will compile
    pass


  public def onur[of T]( x as int, d as int, y as string):
    pass

the above code does not compile. And this bug effectively prevents usage of db4o SODA queries.

All

Comments

Work Log

Change History

Sort Order:

Ascending order - Click to sort in descending order

[ Permlink | « Hide ]

Avishay Lavie - 19/Jan/08 03:11 PM

Changed title and description to describe the issue, rather than the symptom. Assigned to myself.

[ Permlink | « Hide ]

Cedric Vivier - 20/Jan/08 08:51 AM

fixed on rev. 2832.

the problem also impacted multiple generic overloads as in :

def Method[of T](x as string):
pass

def Method[of T,U](x as string):
pass

(Avish: reassigned it since I've recently worked on the Check* steps and was already 'suspicious' over the check)