search

flix / flix

The Flix Programming Language
https://flix.dev/
Other
2.17k stars 153 forks source link

What information should be shown during auto-complete? #1983

Closed magnus-madsen closed 3 years ago

magnus-madsen commented 3 years ago

We need to decide what auto-complete should show.

For example:

image

Would it be better if the label on the left was List.drop(n: Int32, l: List[...]) and on the right we could have the doc comment?

magnus-madsen commented 3 years ago

@mlutze @manoj2601 @JonathanStarup

magnus-madsen commented 3 years ago

Better or worse?:

image

magnus-madsen commented 3 years ago

By the way- isn't it amazing that we are in a place where we can start to offer auto-complete? 😀 🥳 🚀

magnus-madsen commented 3 years ago

Idea has return type on the right:

image

I quite like that

mlutze commented 3 years ago

Do we control the icons on the left? Maybe effect information can be shown there?

magnus-madsen commented 3 years ago

Do we control the icons on the left? Maybe effect information can be shown there?

Yes, but they have to be in this set:

image