Changeset 9a34b5a for src/ResolvExpr

Timestamp:
Jul 18, 2017, 5:02:20 PM (7 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
17f22e78
Parents:
d1685588
git-author:
Rob Schluntz <rschlunt@…> (07/18/17 16:59:34)
git-committer:
Rob Schluntz <rschlunt@…> (07/18/17 17:02:20)
Message:

Remove redundant casts from reference translation and generate dereference ApplicationExpr? instead of UntypedExpr?

Generating ApplicationExpr? in this context is necessary so that the Box pass correctly removes dereferences from polymorphic code.

(No files)

Note: See TracChangeset for help on using the changeset viewer.