aboutsummaryrefslogtreecommitdiffstats
path: root/Visitor/Interpreter.php
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-17 10:27:35 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-17 10:27:35 +0200
commit443060f138b5d097a9d809a685afb084f2cb259a (patch)
treef84a43dccf0841c5d8dfa84da1b6f81c8a684526 /Visitor/Interpreter.php
parentd44a853b840c8629e3272a8a552d8e2d72c637fb (diff)
downloadPraspel-443060f138b5d097a9d809a685afb084f2cb259a.zip
Praspel-443060f138b5d097a9d809a685afb084f2cb259a.tar.gz
Praspel-443060f138b5d097a9d809a685afb084f2cb259a.tar.bz2
Add Praspel representation for \old(…).
Diffstat (limited to 'Visitor/Interpreter.php')
-rw-r--r--Visitor/Interpreter.php6
1 files changed, 5 insertions, 1 deletions
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index a7926c8..3f0745f 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -308,7 +308,11 @@ class Interpreter implements \Hoa\Visitor\Visit {
if( $argument instanceof \Hoa\Praspel\Model\Variable\Borrowing
&& $argument::TYPE_OLD === $argument->getType())
$argument = new \Hoa\Realdom\Crate\Constant(
- $argument->getBorrowedVariable()
+ $argument->getBorrowedVariable(),
+ function ( ) use ( $argument ) {
+
+ return $argument->getName();
+ }
);
if($argument instanceof \Hoa\Realdom\Disjunction) {