diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-05-22 16:02:32 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-05-22 16:02:32 +0200 |
commit | 4bb8741b9839162b42d998a1511a3b9080a0cc36 (patch) | |
tree | 048afc84a094435937ed1787afa0b0f00457ea3a /doc/manual | |
parent | 9fd7cf98dbec047343baefa65cd26ce4493bee53 (diff) |
Make Env self-describing
If the Env denotes a 'with', then values[0] may be an Expr* cast to a
Value*. For code that generically traverses Values/Envs, it's useful
to know this.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions