05:48 <ec> jfhbrook: different thing >:

05:48 <ec> but I figured it out

05:48 <ec> normal variant in ML is like an enum

05:48 <ec> type family_member = Dog | Cat | Human of string

05:49 <ljharb> don't be a fish hater

05:49 <ec> polymorphic variants, though, are "open" and can be extended or limited

07:02 <ec> i.e. ``[> `Dog | `Cat | `Human of string ]`` (moment of truth, IRCcloud Markdown parsing …) means, thanks to the `>`, that it can be “extended” with more variants

07:02 <ec> nope lmao fail

07:03 <ec> i.e. it's a type that matches “any polymorphic-variant type with at least these known members, but possibly more”

07:04 <ec> whereas "[< `Dog | `Cat | `Human of string ]" accepts *at least* those, but possibly more

07:04 <ec> jesus christ IRCcloud bug report time

07:05 <ljharb> why are there backticks in there

07:10 <ec> polymorphic variant syntax

07:11 <ec> uses `'Blah` and `'Blah of blah`, but with backticks instead of single-quotes

07:12 <ec> ```

07:12 <ec> crap wtf

07:13 <ec> let three = `Int 3

07:13 <ec> let four = `Float 4.

07:13 <ec> - : [> `Float of float | `Int of int | `Not_a_number ] list = [`Int 3; `Float 4.; `Not_a_number]

07:13 <ec> [three; four; nan];;

07:13 <ec> let nan = `Not_a_number

07:13 <ec> god damnit ircclou

07:13 <ljharb> lol

07:13 <ljharb> a single lone backtick is a really poor choice of syntax

07:14 <ec> ¯\_(ツ)_/¯

07:14 <ec> it's fuckin', what, thirty years old?

07:15 <ec> markdown definitely didn't exist then 🤣

07:17 <ec> woah

07:17 <ec> *forty-five* years

07:19 <ec> IRCv3 looks like an interesting project

07:21 <ljharb> lol

08:28 <ec> ahh, ```[> `Figured | `It | `Out]```

08:28 <ec> thx irccloud

08:28 <ec> annoying in plaintext tho.

11:38 <ec> hm

11:46 <purr\ec> [System] ELLIOTTCABLE pushed 3 new commits to refresh-vim+: https://github.com/ELLIOTTCABLE/System/compare/0fbd7a64065e...e489e20f55be

11:46 <purr\ec> System/refresh-vim+ e489e20 ELLIOTTCABLE: (vim plug temp) Using local Merlin, with some of my own fixes-in-progress

11:46 <purr\ec> System/refresh-vim+ 70f5f3c ELLIOTTCABLE: (vim fix) More, broken, OCaml completion crap

11:46 <purr\ec> System/refresh-vim+ e21692e ELLIOTTCABLE: (vim fix) Trying to move forwards on OCaml completion etc