[Unison-hackers] fsmonitor.py & ignore paths on Linux

[Benjamin C. Pierce]

On Jul 20, 2010, at 4:08 AM, Jerome Vouillon wrote:
> Unison should validate the output of fsmonitor.py using both the list
> of synchronized paths and the ignore directives, removing paths that
> do not corresponds to a file normally synchronized.

It should be doing (some version of) this already: 

let shouldNotIgnore p =
  let rec test prefix rest =
    if Globals.shouldIgnore prefix then
      false
    else match (Path.deconstruct rest) with
        None -> true
      | Some(n,rest') ->
          test (Path.child prefix n) rest'
    in 
  test Path.empty (Path.fromString p) 

     - B