Skip to content

Instantly share code, notes, and snippets.

@jwosty
Created June 26, 2019 15:19
Show Gist options
  • Save jwosty/cfbf9cc67e9d051f2194895d37298cf9 to your computer and use it in GitHub Desktop.
Save jwosty/cfbf9cc67e9d051f2194895d37298cf9 to your computer and use it in GitHub Desktop.
use file = new System.IO.File.Open("foo.xml", System.IO.FileMode.Append) in
printfn "file still open"
printfn "file now closed/disposed"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment