Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 3df58177 authored by Gabriel Scherer's avatar Gabriel Scherer
Browse files

consistently use 'loc' instead of 'range' to describe source locations

The problem with 'range' is that this word has a much more general
meaning, it could be an integer range; typically it is also used in
comments to describe range of levels or scopes.

In the context of Menhir, which is centered on parsing, 'range'
clearly associates with 'source range'. But for more general project
this association is lost and 'range' is confusing.
parent e31e8032
No related branches found
No related tags found
Loading
Showing with 325 additions and 321 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment