diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-05-22T14·02+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-05-22T14·02+0200 |
commit | 4bb8741b9839162b42d998a1511a3b9080a0cc36 (patch) | |
tree | 048afc84a094435937ed1787afa0b0f00457ea3a /doc | |
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')
0 files changed, 0 insertions, 0 deletions