Hi there,
I can't find any function which will convert a file path from relative
to absolute. C# and Java both have one: Path.GetAbsolutePath or
something similar.
Is there one?
Do you think this is a good enough solution?
char[] toabs(char[] filepath)
out (c)
{
assert (isabs(c));
}
body
{
return (join(getcwd(), filepath));
}
Cheers,
Reiner