yep by Slip type I meant a Slip type object ie undefined Slip (as opposed
to a Slip instance).
I don't really understand why it should be an error or warning.
1.map: { Any } # ((Any))
1.map: { Slip } # shouldn't this be ((Slip)), What's wrong with this?
On Sat, Dec 12, 2015 at 4:00 PM Brandon Allbery <allber...@gmail.com> wrote:
> On Fri, Dec 11, 2015 at 11:55 PM, Lloyd Fournier <lloyd.fo...@gmail.com>
> wrote:
>
>> I don't think this should be an error. A Slip type is a kinda odd thing
>> to be mapping but it should work.
>
>
> It's not mapping over Slips in general; it's mapping over an *undefined*
> Slip. I'd similarly expect some kind of error or at least warning for
> mapping over an undefined list.
>
>
> --
> brandon s allbery kf8nh sine nomine
> associates
> allber...@gmail.com
> ballb...@sinenomine.net
> unix, openafs, kerberos, infrastructure, xmonad
> http://sinenomine.net
>
