Searched refs:OldFact (Results 1 – 4 of 4) sorted by relevance
25 , DataflowLattice(..), OldFact(..), NewFact(..), JoinedFact(..)56 newtype OldFact a = OldFact a function73 type JoinFun a = OldFact a -> NewFact a -> JoinedFact a340 case fact_join (OldFact old_fact) (NewFact new_fact) of370 join new old = getJoined $ fact_join lattice (OldFact old) (NewFact new)381 join new old = getJoined $ fact_join lattice (OldFact old) (NewFact new)393 Just f2 -> getJoined $ join (OldFact f1) (NewFact f2)
43 add (OldFact old) (NewFact new) =
165 add_to (OldFact ProcPoint) _ = NotChanged ProcPoint167 add_to (OldFact (ReachedBy p)) (NewFact (ReachedBy p'))
408 add (OldFact old) (NewFact new) =