Having both unqualified import and named import

[KristianBalaj]

What is your idea? Provide a use case.

Let's take e.g. moudle aiken/dict.
I want to import it using named import ie. use aiken/dict as dict for all the helper functions, but I would like to use the Dict type standalone without the module prefix ie. dict.Dict<...> which is nasty imho.

So the parser should be able to process the following correctly:

use aiken/dict as dict
use aiken/dict.{Dict}

fn smth() -> Dict<Int, Int> {
 dict.new()
}

Why is it a good idea?

Convenience, easier to read - less clutter.

What is the current alternative and why is it not good enough?

Currently, you can have the same module imported just once no matter the type of import, so either use the named import or the unqualified import.

[rvcas]

You can use use dict already?

use aiken/list.{map}

Still allows you to refer to list

[KristianBalaj]

You can use use dict already?

What do you mean?

I can use it, the module is in the stdlib.

use aiken/list.{map}
Still allows you to refer to list

Ah, yeah it's nice. I think that could be used, the only minor problem is that it's not forced to use the list. prefixes on helper functions, but should be fine.

[rvcas]

@KristianBalaj I don't exactly understand your comment.

So let me just write code:

use aiken/list.{map}

// can use list.filter
// can use map

Alternatively

use aiken/list.{map as wow} as thing

// can use thing.filter
// can use wow

Does this not cover what you want?

This works for Types, constructors, and functions

[KristianBalaj]

use aiken/list.{map as wow} as thing

Ahh, you're right such a feature is already built into Aiken.

What I was looking for is this kind of import:

use aiken/dict.{Dict} as dict

My bad, I've mistakenly read the docs 🙌

[rvcas]

@KristianBalaj you don't need as dict in your example. dict is already available, your brain is high on Haskell or something :p.

use aiken/dict.{Dict}

dict is already available and usable here without the as. You only need as if you want to alias things.

Either way, and jokes aside, I'll glad you have what you need.