Apply review suggestion
Co-authored-by: Joshua Nelson <joshua@yottadb.com>
This commit is contained in:
parent
92499eadd4
commit
7e3fe0a961
|
|
@ -20,8 +20,8 @@ without explicit syntax) like coercions, autoderef, autoref and overloaded metho
|
||||||
calls have become explicit casts, deref operations, reference expressions or
|
calls have become explicit casts, deref operations, reference expressions or
|
||||||
concrete function calls.
|
concrete function calls.
|
||||||
|
|
||||||
The [THIR] has datatypes that mirror the [HIR] datatypes, but the [THIR] is a shallow
|
The [THIR] is a shallow wrapper around [HIR], with datatypes that mirror the [HIR] datatypes.
|
||||||
wrapper around [HIR]. For example, instead of `-x` being a `thir::ExprKind::Neg(thir::Expr)`
|
For example, instead of `-x` being a `thir::ExprKind::Neg(thir::Expr)`
|
||||||
(a deep copy), it is a `thir::ExprKind::Neg(hir::Expr)` (a shallow copy).
|
(a deep copy), it is a `thir::ExprKind::Neg(hir::Expr)` (a shallow copy).
|
||||||
This shallowness enables the [THIR] to represent all datatypes that [HIR] has, but
|
This shallowness enables the [THIR] to represent all datatypes that [HIR] has, but
|
||||||
without having to create an in-memory copy of the entire [HIR].
|
without having to create an in-memory copy of the entire [HIR].
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue