catSome example broken

[Alan Dipert]

I just noticed the catSome example at http://dot.planet.ee/yeti/docs/latest/yeti.lang.std.html#catSome is broken.  Looks like it needs to use the Some tag instead of Just.

Alan

PS - is this doc somewhere in source form?  I'm happy to submit PR/patch.

alan@gazebo:~$ java -jar ~/Downloads/yeti.jar

Yeti 0.9.9.1+ REPL.

> catSome [Just 3, None (), Just 1, Just 4, None ()]

1:9: Cannot apply list?<None. () | Some. 'a> -> list<'a> function (catSome) to list<Just number | None ()> argument

    Type mismatch: None. () | Some. 'a => Just number | None () (member missing: Just)

[Madis Janson]

On Mon, 28 Nov 2016, Alan Dipert wrote:

> I just noticed the catSome example at http://dot.planet.ee/yeti/docs/latest/yeti.lang.std.html#catSome is
> broken.  Looks like it needs to use the Some tag instead of Just.Alan
>
> PS - is this doc somewhere in source form?  I'm happy to submit PR/patch.

Yes, it's generated from comments in the modules/std.yeti in the Yeti git
repository (Yeti has inbuilt yetidoc generation). Patch would be fine. :)