Allow file directives to contain slashes Previously, adding a line such as "file /c/foo.css css/foo.css" would cause the compiler to raise an InvalidArc exception.

structure M = struct end

fun f (x : $M.r) : $([A = int] ++ M.r) = x