discipl / discipl/flinteditor-mps
Lines in sources do not have the same ID on reimport
Open
bug
- Dominant language
- JetBrains MPS
- Stars
- 2
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue provides no files, tests, reproduction steps, or entry points. Start by reproducing a source reimport and comparing line IDs before and after; the work is done when reimported source lines retain their IDs, with a regression test documenting the behavior.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100