updateTargets API

[edsko]

From 0.8 ide-backend supports an updateTargets functionality, which makes it possible to only compile certain modules. At the moment this has type

updateTargets :: Maybe [ModuleName] -> IdeSessionUpdate ()

one could also envision

updateTargets :: Maybe [FilePath] -> IdeSessionUpdate ()

or

updateTargets :: Maybe [Either ModuleName FilePath] -> IdeSessionUpdate ()

[snoyberg]

Given that the rest of the API works via FilePaths, I would have thought FilePath would be used here too. The main reason I think that would be necessary would be when dealing with multiple Main modules; if the API is ModuleName-based, how will ide-backend know which file to focus on?

[edsko]

@snoyberg So you're opting for

updateTargets :: Maybe [FilePath] -> IdeSessionUpdate ()

If so, I can easily change the API (and I should do that before releasing).

[snoyberg]

That's what I think makes sense given our goals here. If you think I'm misunderstanding a use case, please let me know.

[edsko]

No, that makes perfect sense. I'll make that change.