How to read file (text or binary) properly

Stream: general

[Jihoon Hyun]

How can I read a file in Lean4? Is there a minimal example?

[Vlad Tsyrklevich]

ChatGPT generated this working example

def readFileExample (filePath : System.FilePath) : IO String :=
  IO.FS.readFile filePath

#eval do
  let contents ← readFileExample "/tmp/foo"
  IO.println contents

[Jihoon Hyun]

Thanks! That's one good example.