jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Better OOM support #22

Open agoode opened 3 months ago

agoode commented 3 months ago

Right now, running out of memory in the SML code just freezes the UI for a while, then exits the binary without saving or printing a message. We need to recover from out of memory, especially because it currently throws away unsaved work.