Clean up terminology: step 1 — rename `Region` to `Origin`

rust-lang / polonius

Defines the Rust borrow checker.

Apache License 2.0

1.35k stars 73 forks source link

Clean up terminology: step 1 — rename `Region` to `Origin` #125

Closed lqd closed 5 years ago

lqd commented 5 years ago

A first step in cleaning up the Polonius terminology by:

renaming regions into origins (except in datafrog closures and datalog rules comments, for now)
whenever a single-letter generic type was used, using the full word instead
assorted cleanups in comments or leftover random bits and bobs

nikomatsakis commented 5 years ago

@lqd did you plan to add a few more commits here?

lqd commented 5 years ago

@nikomatsakis not necessarily in this PR, I was thinking we could the renaming step by step, merging as each step is completed, what do you think ? (e.g. if others wanted to help, and so on)

But if you prefer a single big renaming-PR I can also do that.

nikomatsakis commented 5 years ago

step by step is better!