Added a comment about DerefVariable in SimplifyExprs
This commit is contained in:
parent
08c8d47e2f
commit
cd313fbbb6
|
@ -222,6 +222,7 @@ pullUp = doGeneric
|
|||
case e' of
|
||||
A.ExprVariable _ (A.Variable _ _) -> return e'
|
||||
A.ExprVariable _ (A.DirectedVariable _ _ _) -> return e'
|
||||
--TODO work out whether to pull up DerefVariable
|
||||
_ -> pull t e'
|
||||
_ -> return e'
|
||||
where
|
||||
|
|
Loading…
Reference in New Issue
Block a user