# HG changeset patch # User wenzelm # Date 1313529446 -7200 # Node ID 1ea760da0f2d715242b09b441f5f2302965d1605 # Parent a8f921e6484fb99f6bd22395c5a76dba15098317 workaround for Cygwin, to make it work in the important special case without extra files; diff -r a8f921e6484f -r 1ea760da0f2d src/Pure/PIDE/document.ML --- a/src/Pure/PIDE/document.ML Tue Aug 16 22:48:31 2011 +0200 +++ b/src/Pure/PIDE/document.ML Tue Aug 16 23:17:26 2011 +0200 @@ -340,8 +340,9 @@ let val (thy_name, imports, uses) = Exn.release (get_header node); (* FIXME provide files via Scala layer *) - val dir = Path.dir (Path.explode name); - val files = map (apfst Path.explode) uses; + val (dir, files) = + if ML_System.platform_is_cygwin then (Path.current, []) + else (Path.dir (Path.explode name), map (apfst Path.explode) uses); val parents = imports |> map (fn import =>