Checklist for 2019.03

[JJ]

Check the announcement here

Additions:

• Added a candidates method to CompUnit::Repository::FileSystem
  and CompUnit::Repository::Installation, which acts as the API
  for module lookup. Internals were refactored to use this API for
  module lookup, which fixes some issues as a side effect (i.e.
  old bin scripts being invoked instead of a newer version)
  -2d007bf4-07f62c60-bed3bbd0-a25d5fa4-29d74709-085fa19c
  -78de05eb-b378a157-d0a3fec9-d533d450-877e7dc0-270b355e
  -683df8bf-e1ef571e-077f88a5-22021fdd-603010be-27e141cc
  -ddb6abd0-c868ca9c-339ea850-3999d753-bfff01a5-d998c1ea
  -83f0fd6c-d39e2fc4-74ccb4c8-67cf829f-92ebc333
• Added buf8/blob8 read-(u)bits / write-(u)bits methods for
  reading/writing any number of bits -45a945b5
• Added $?DISTRIBUTION to give introspection and IO capabilities
  to the current Distribution -32d480ab
• Added addendum to X::Method::NotFound so that we can give
  better error messages for specific cases -04dd52f9-b6c8f5ed
• Added HLL interface for creating Signature and Parameter
  objects -f329d6c6-3d3578b6-c4723cba-e116f3ad-3b9fd81d
  -e4635189-9cd42b1f-86557cfd-d6b1bd2a-9485dd2b-7be075eb
  -081b15ee-eb50d8ce
• Made does X::Control imply throwing to CONTROL -ca177e58
• Made QuantHashes parameterizable to limit the type of value that
  can be put in them -0d9e9f34-4bb5c33c-e87b7afb-fe38bdba
  -bcc8054a-87b71c27-836c18ae-71a19c61
• Allowed is Type trait to handle parameterization like
  is Set[Int] -2ed2f398
• Added a dynamic-scope lexical pragma -871cbefc-88c46676
  -9517c377

Removals:

• Removed ComptUnit::Repository::Installation and Distribution
  compatibility shims for old versions of panda and zef -f430518f
• Renamed Block/WhateverCode.pos to .POSITIONS -ccf350e4

[taboege]

Please see #2818.

Points 1, 3, 5, 7 and the removals didn't require any action. They were documented parallel to the additions (lizmat++, ugexe++) or, in case of removals, weren't documented anyway.

The current PR doesn't address the is Type[Parameters] trait point because I feel like that this is more of a bugfix. Reading the documentation as it is now, I would expect is to work with parameterized types just like with any other.

I did not include a mention of @jnthn's explanation of shortcomings of the current X::Control control exception throwing. Should I?

[JJ]

If they are spec, why not...

[JJ]

I'm going to reopen for several reasons:

• The parametrized trait would need an example. It's maybe a bugfix, but still.
• Also that issue raises another number of issues, including the documentation of "parameterized" in ParametricRoleHOW and ParametricRoleGroupHOW.
• Also, Document "method ^foo" syntax #2856

[coke]

Checked the last item

Allowed is Type trait to handle parameterization like
is Set-Int -2ed2f398

Which is already covered in doc/Type/Set.pod6

[coke]

Re-opening, as @JJ's comment from Jun indicates more work needed to be done that isn't covered by the checklist status.

[JJ]

Took me a while to understand that Type does not really refer to an actual class called that way, but to a generic type. Sometimes, you need to act fast to request additional information, or you'll be left a bit confused by what's written.

[coke]

Re-opening, as @JJ's comment from Jun indicates more work needed to be done that isn't covered by the checklist status.

JJ himself committed the example he was looking for, and #3353 covers the other issue.

Everything else checked, closing.