| Age | Commit message (Collapse) | Author | Lines |
|
|
|
#debug.
|
|
This involved adding 'copy' to more generics than I hoped, but an
experiment with making it implicit showed that that way lies madness --
unless enforced, you will not remember to mark functions that don't
copy as not requiring copyable kind.
Issue #1177
|
|
This goes before a snapshot, so that subsequenct patches can make the
transition without breaking the build. Disables kind checking pass, makes
parser accept both new and old-style kind annotation.
Issue #1177
|
|
Vectors of pinned kinds can't be safe because most interesting uses of vector
perform copies
|