You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Improve TODO messages:
- `genLocation()` was used instead of `getCurrentLocation` in many places that
intended to print the current location. Rename it to `genUnknownLocation()` to avoid
confusion in the futur.
- Thread/Compute the location when possible instead of using TODO_NOLOC.
- Ensure the location is set when entering not yet implemented
constructs (toLocation() might return an empty location in case the
construct is the first of an anonymous program)