Sylvan Clebsch
Sylvan Clebsch
Two points: * @slfritchie 's man page link is great because it identifies that doing this with rlimit is actually tricky, as none of the categories are the same as...
The compile-time option means needing an alternate libponyrt available to compile against, which is of course do-able, but seems unfortunate (and not sustainable for multiple features like this). I suspect...
Yes, thank you VERY much! This is an important and subtle and tricky one.
This looks like a bug in `viewpoint.c`. In particular, for the first example, in `is_arrow_sub_arrow` we compare ask if `this->X X!`. This calls `viewpoint_reifypair`, which results in: ``` (lldb) call...
This is happening because union flattening is reducing the constraint to `Bar val`, which is of course wrong.
We discussed this on the sync call, and the consensus was that treating a type parameter in the same way as a type alias (as @jemc said "a localised type...
Each notebook needs a logically separate paket.dependencies. This could be represented as a group or as a separate dependencies file. This is true whether or not version numbers go on...
As a side note: in an IPython notebook, dependencies are installed using pip, and they are installed globally. In other words, effectively the same as the system that's currently in...
This looks good to me. Referencing both the Wadler problem definition and the Bruno solution definition is perfect.
I think I understand @jemc 's use case better now, and I think this is more in the vein of higher-kinded types. Let's think about expanding this RFC to be...