search

LFrobeen / intellij-datalog

MIT License
31 stars 4 forks source link

Autocomplete should suggest named parameter `filename=""` in .input clause #15

Open murfel opened 10 months ago

murfel commented 10 months ago

Here it should suggest filename="", but it doesn't.

Screenshot 2023-11-01 at 13 05 20

But this syntax is correct.

Screenshot 2023-11-01 at 13 05 30

Code

.type Name <: symbol

.decl Something(name: Name)
.input Something(filename="file.facts")