suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added constant-folding support for VariableSizes

Browse Source
This commit is contained in:
Neil Brown 2009-03-30 15:32:38 +00:00
parent 1144975abc
commit c1c73f9186
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
common/EvalConstants.hs
View File

@ -115,6 +115,16 @@ evalVariable (A.Variable m n)
evalVariable (A.SubscriptedVariable _ sub v) = evalVariable v >>= evalSubscript sub evalVariable (A.SubscriptedVariable _ sub v) = evalVariable v >>= evalSubscript sub
evalVariable (A.DirectedVariable _ _ v) = evalVariable v evalVariable (A.DirectedVariable _ _ v) = evalVariable v
evalVariable (A.DerefVariable _ v) = evalVariable v evalVariable (A.DerefVariable _ v) = evalVariable v
evalVariable (A.VariableSizes m v)
= do t <- astTypeOf v
case t of
A.Array ds _ -> sequence [case d of
A.Dimension e -> evalExpression e
A.UnknownDimension ->
throwError (Just m, "Unknown dimension")
| d <- ds] >>* OccArray
_ -> throwError (Just m, " variable not array")
evalIndex :: A.Expression -> EvalM Int evalIndex :: A.Expression -> EvalM Int
evalIndex e evalIndex e