comment

zth · zth · commit ea2c9c108b5a · 2024-06-04T14:11:37.000+02:00
diff --git a/analysis/src/Cache.ml b/analysis/src/Cache.ml
@@ -25,6 +25,7 @@ let deleteCache filename = try Sys.remove filename with _ -> ()
 
 let targetFileFromLibBs libBs = Filename.concat libBs ".project-files-cache"
 
+(* TODO: Fix the potential infinite loop here *)
 let cacheProject (package : package) =
   let cached =
     {

Original file line number	Diff line number	Diff line change
`@@ -25,6 +25,7 @@ let deleteCache filename = try Sys.remove filename with _ -> ()`
`25`	`25`
`26`	`26`	`let targetFileFromLibBs libBs = Filename.concat libBs ".project-files-cache"`
`27`	`27`
	`28`	`+(* TODO: Fix the potential infinite loop here *)`
`28`	`29`	`let cacheProject (package : package) =`
`29`	`30`	`let cached =`
`30`	`31`	`{`