Sum type constructor declaration subtlety (and documentation wanted!)


#21

RWO now has some coverage of this:

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

It’s in the end of the opening section.

y


#22

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


#23

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


#24

The DNS now resolves okay.


#25

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.


#26

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?