diff options
author | Son Ho | 2024-03-20 06:17:13 +0100 |
---|---|---|
committer | Son Ho | 2024-03-20 06:17:13 +0100 |
commit | e6f002cfc1dfa41362bbb3a005c4261d09c52c58 (patch) | |
tree | d0bda90f427825ef5702a3a1fcecff77e29e1458 /compiler/Pure.ml | |
parent | f3e16bb43a8ff27a5184d9fa452277cc6a59410f (diff) |
Improve the generation of pretty name and the micro passes
Diffstat (limited to '')
-rw-r--r-- | compiler/Pure.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index cf6710aa..7de7e0f4 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -807,12 +807,18 @@ and emeta = The mvalue stores the value which is put in the destination The second (optional) mplace stores the origin. *) - | SymbolicAssignment of (var_id[@opaque]) * mvalue + | SymbolicAssignments of ((var_id[@opaque]) * mvalue) list (** Informationg linking a variable (from the pure AST) to an expression. We use this to guide the heuristics which derive pretty names. *) + | SymbolicPlaces of ((var_id[@opaque]) * string) list + (** Informationg linking a variable (from the pure AST) to a name. + + We generate this information by exploring the context, and use it + to derive pretty names. + *) | MPlace of mplace (** Meta-information about the origin of a value *) | Tag of string (** A tag - typically used for debugging *) [@@deriving |