Rewrite HaLVM3 base library to stop using 'unsafe' so many places

GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

BSD 3-Clause "New" or "Revised" License

1.05k stars 88 forks source link

Rewrite HaLVM3 base library to stop using 'unsafe' so many places #121

Open acw opened 7 years ago

acw commented 7 years ago

By calling back into GHC for a bunch of critical POSIX functions, we break the "unsafe" assumption in the base library. So HaLVM GHCs will need to revoke those unsafe declarations. In particular, the ones in System/Posix/Internals.hs definitely need to be re-evaluated.