More consistent handling of errors in Solver, Infer and FTypeChecker, with source locations
- Feb 16, 2023
-
-
Gabriel Scherer authoredc00f5569
-
Gabriel Scherer authored85743ed8
-
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
-
- Feb 12, 2023
-
-
Gabriel Scherer authorede31e8032
-
- Feb 11, 2023
-
-
Gabriel Scherer authored22dde290
-