Closed urbanslug closed 9 years ago
As explained in this issue https://github.com/fpco/ide-backend/issues/281.
This approach will break for the previous version of text. At the very least a lower bound on text would be needed. But a more resilient approach is conditional compilation. I'll push a fix for that now.
As explained in this issue https://github.com/fpco/ide-backend/issues/281.