diff options
Diffstat (limited to 'Chalice/src/Translator.scala')
| -rw-r--r-- | Chalice/src/Translator.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Chalice/src/Translator.scala b/Chalice/src/Translator.scala index ef27e635..5b9e442f 100644 --- a/Chalice/src/Translator.scala +++ b/Chalice/src/Translator.scala @@ -2250,6 +2250,7 @@ object TranslationHelper { def FractionOf(expr: Expression, fraction: Expression) : Expression = {
val result = expr match {
case Access(e, Full) => Access(e, Frac(fraction))
+ case AccessSeq(e, f, Full) => AccessSeq(e, f, Frac(fraction))
case And(lhs, rhs) => And(FractionOf(lhs, fraction), FractionOf(rhs, fraction))
case Implies(lhs, rhs) => Implies(lhs, FractionOf(rhs, fraction))
case _ if ! expr.isInstanceOf[PermissionExpr] => expr
@@ -2262,6 +2263,7 @@ object TranslationHelper { def canTakeFractionOf(expr: Expression): Boolean = {
expr match {
case Access(e, Full) => true
+ case AccessSeq(e, f, Full) => true
case And(lhs, rhs) => canTakeFractionOf(lhs) && canTakeFractionOf(rhs)
case Implies(lhs, rhs) => canTakeFractionOf(rhs)
case _ if ! expr.isInstanceOf[PermissionExpr] => true
|