Matt Pharr 20044f5749 Distinguish between dereferencing pointers and references. ...

We now have separate Expr implementations for dereferencing pointers
and automatically dereferencing references.  This is in particular
necessary so that we can detect attempts to dereference references
with the '*' operator in programs and issue an error in that case.

Fixes issue #192.

2012-03-22 06:48:02 -07:00

110 B

Raw Blame History

View Raw