Make Choice.fail() obsolete -- we should be using Choice.failwith instead to provide better error messages when something goes wrong.
Make Choice.fail() obsolete -- we should be using Choice.failwith instead to provide better error messages when something goes wrong.

jack-pappas/NHol