| 531 |
in |
in |
| 532 |
List.iter line d; |
List.iter line d; |
| 533 |
!accu |
!accu |
| 534 |
|
(* Maybe, can improve this function with: |
| 535 |
|
(t,s) \ (t1,s1) = (t&t',s\s') | (t\t',s), |
| 536 |
|
don't call normal_aux *) |
| 537 |
|
|
| 538 |
let get ?(kind=`Normal) d = |
let get ?(kind=`Normal) d = |
| 539 |
match kind with |
match kind with |
| 564 |
Not_found -> |
Not_found -> |
| 565 |
let gd = get_aux d in |
let gd = get_aux d in |
| 566 |
let n = normal_aux gd in |
let n = normal_aux gd in |
| 567 |
|
(* Could optimize this call to normal_aux because one already |
| 568 |
|
know that each line is normalized ... *) |
| 569 |
memo := Memo.add d n !memo; |
memo := Memo.add d n !memo; |
| 570 |
n |
n |
| 571 |
|
|
Parent Directory
| 
Revision Log
| 
Patch