Sum type constructor declaration subtlety (and documentation wanted!)

RWO now has some coverage of this:

https://dev.realworldocaml.org/variants.html

It’s in the end of the opening section.

y

1 Like

FYI, for reasons I can’t explain, DNS will not currently resolve the dev.realworldocaml.org address. :frowning:

Odd. I can see it fine. @avsm has been doing some DNS migrations, so I’m sure that’s related.

The DNS now resolves okay.

1 Like

I’ve been doing some shuffling to move some of the infrastructure to GitHub Pages’ new Letsencrypt hosting. It should be stable now; please let me know if not.

1 Like

BTW, I think opinions on phrasing this have stabilized enough that a pull request to the main documentation would probably be appropriate now. Anyone disagree?