GHC 8.2 migration schedule for CodeWorld

[Chris Smith]

Hey everyone,

The good news is that GHCJS looks to be ported to GHC 8.2.  That means it's time to start thinking about when to update CodeWorld.  We aren't currently set up for multiple GHC versions, though, so everything will transition at the same time.  I don't foresee this having any effect at all on code written with codeworld-base, though it may change some details of error messages.

I propose doing the migration either at the beginning of the summer, or the end of the summer.  So either late May, or early August.  These should correspond to breaks in school schedules in the U.S., at least, so we're not changing horses in the middle of anyone's teaching.

If you have additional scheduling constraints, please let me know.