Make sure next major version bump includes the correct role annotations for each vector type  #277

Activity

1. Shimuuar commented on Jun 10, 2020

   

   Shimuuar

   on Jun 10, 2020

   Last edited by Shimuuar

   Contributor

   More actions

   Current state of vector data types:

   • Data.Vector: inferred representational
   • Data.Vector.Storable: annotated nominal
   • Data.Vector.Primitive: annotated representational
   • Data.Vector.Unboxed: inferred nominal

   I think that Primitive should get same nominal annotation as Storable for same reasons.
2. cartazio commented on Jun 10, 2020

   

   cartazio

   on Jun 10, 2020 via email

   ContributorAuthor

   More actions

   Yeah should be nominal.

   …

   On Wed, Jun 10, 2020 at 3:08 PM Aleksey Khudyakov ***@***.***> wrote: Current state of vector data types: - Data.Vector: inferred representational - Data.Vector.Storable: annotated nominal - Data.Vector.Primitive: annotated representational - Data.Vector.Unboxed: inferred nominal I think that Primitive should get same nominal annotation as Storable for same reasons. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#277 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAABBQX3UM7MOTEBOFF24DDRV7KZPANCNFSM4KN62VQQ> .
3. Shimuuar

   modified the milestones: 0.12.2, 0.13 on Jun 11, 2020
4. Shimuuar

   added 3 commits that reference this issue on Jun 13, 2020

   Make primitive vectors nominally roled

   ...

   This issue will close once commit 3874631 is merged into the 'master' branch.

   3874631

   Make primitive vectors nominally roled

   ...

   This issue will close once commit 1fdfea1 is merged into the 'master' branch.

   1fdfea1

   Make primitive vectors nominally roled

   ...

   This issue will close once commit b35a6d3 is merged into the 'master' branch.

   b35a6d3
5. Bodigrim

   closed this as completedin #316on Jun 17, 2020