blob: a091385d9a8e07a15dc86226057d016239918894 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
*** Kildall.ml.orig 2006-02-09 11:47:52.000000000 +0100
--- Kildall.ml 2006-02-09 13:42:35.103321691 +0100
***************
*** 191,199 ****
Maps.PMap.t option **)
let fixpoint successors topnode transf entrypoints =
! DS.fixpoint (fun s ->
! Maps.PMap.get s (make_predecessors successors topnode)) topnode transf
! entrypoints
end
module type ORDERED_TYPE_WITH_TOP =
--- 191,198 ----
Maps.PMap.t option **)
let fixpoint successors topnode transf entrypoints =
! let pred = make_predecessors successors topnode in
! DS.fixpoint (fun s -> Maps.PMap.get s pred) topnode transf entrypoints
end
module type ORDERED_TYPE_WITH_TOP =
|
