Result for documentation collection is not indexed by ID

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Apache License 2.0

819 stars 31 forks source link

Result for documentation collection is not indexed by ID #715

Open bugarela opened 1 year ago

bugarela commented 1 year ago

produceDocs doesn't follow our standard of indexing results by ID, and this makes it messier to fetch documentation for names using the lookup table strategy introduced in https://github.com/informalsystems/quint/pull/711/

bugarela commented 1 year ago

I was planning to do this as a followup to #711, but this didn't turn out to be that big of a problem as I anticipated. I tagged this as low priority. Perhaps it will make sense to implement it alongside #452

bugarela commented 1 year ago

Cross module documentation isn't working, which is probably a result from this. I'll increase the impact (since it bothers me personally :smile:).