[TOREE-517] extending a class imported by wildcards

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 0.3.0
• Component/s: Kernel
• Assignee: Unassigned
• Reporter: Laszlo Zeke
• Created: 02/Apr/20 16:35
• Updated: 02/Apr/20 16:35

Description

My problem is the following code:

import java.util._
class subDate extends Date {}

For which I get the output (did not cut it):

Name: Compile Error
Message: <console>:13: error: not found: type Date
       class subDate extends Date {}
                             ^

StackTrace:

Even though obviously Date should be in scope (double checked it so var date: Date = new Date() does work perfectly.

I used the 0.3.0 installed by pip with jupyter.