@Mego That worked, but cabal printed a bunch of scary warnings.
cabal: The following packages are likely to be broken by the reinstalls:
QuickCheck-2.9.2
EdisonCore-1.3.1.1
Agda-2.5.2
Use --force-reinstalls if you want to install anyway.
Not sure if that broke something, so I won't go live just yet.
What exactly am I looking at anyway? Looks like a 700 MB variant of ghci.
@MDXF Unfortunately, I don't have the required disk space atm. I'll have to upgrade the servers first.
Linode informed me that the physical server TIO's main server resides on is scheduled to undergo maintenance to mitigate Meltdown & Spectre. Since I have no way to estimate how long that will take, I'll swap the IPs of the main server and one of the arena servers on Monday at 03:00 UTC. That requires a reboot, so there will be a minute or two of downtime.
3
4 hours later…
Anonymous
6:08 AM
@Pavel It’s a variant in the sense that it has a bunch of default imported modules, different from what Prelude imports
@Dennis I'm almost ready to release Retina 1.0. The main thing that's left to do is to rewrite the docs. Can we talk about what to do with it on TIO? I've already created a specific revision of the docs you can point the old version to: github.com/m-ender/retina/wiki/The-Language/…
I have no plans for ever getting to Retina 2 though, so just "Retina" is probably best. the only issue is that it'll make it impossible to distinguish the new version from old ones on PPCG answers