Mentions légales du service

Skip to content
Snippets Groups Projects
  • Gabriel Scherer's avatar
    3df58177
    consistently use 'loc' instead of 'range' to describe source locations · 3df58177
    Gabriel Scherer authored
    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.
    3df58177
    History
    consistently use 'loc' instead of 'range' to describe source locations
    Gabriel Scherer authored
    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.