检查路径是绝对路径还是相对路径🔗

def checkAbsolutePath (path₁ path₂: System.FilePath) : IO Unit := do if path₁.isAbsolute then IO.println s!"{path₁} is an absolute path" else IO.println s!"{path₁} is not an absolute path" if path₂.isRelative then IO.println s!"{path₂} is a relative path" else IO.println s!"{path₂} is not a relative path"