I just want to second comments others have said about the value of this kind of
activity. It is most certainly *not* annoying! If you're right and there is a
migration issue, then it is indeed reasonable to stop and get feedback, but I'm
(for one) comfortable having you close tickets that you
Hi Wolfgang,
Just FYI, the GHC Steering Committee is currently reviewing a few more design
decisions for the Linear Types proposal, one of which is the name of the
unrestricted multiplicity. The current recommendation is to use Many rather
than Omega
Hi, again!
Here are the missing links to my previous e-mail:
[1]
https://github.com/ghc-proposals/ghc-proposals/pull/111#issuecomment-437271986
[2]
https://github.com/ghc-proposals/ghc-proposals/pull/111#issuecomment-476125233
All the best,
Wolfgang
Am Sonntag, den 05.05.2019, 14:02 +0300
Am Freitag, den 03.05.2019, 11:52 +0200 schrieb Spiwack, Arnaud:
> * The file `Multiplicity`, which defines `type Mult = Type`, the
> `Scaled` type and functions unrestricted, linear, pattern
> synonyms `One` and `Omega`, quick submultiplicity test submult
Could `Omega` **please** be
