Vector should be representational #223

Activity

1. idontgetoutmuch commented on Oct 27, 2018

   

   idontgetoutmuch

   on Oct 27, 2018

   MemberAuthor

   More actions

   And by making Vector representational we get

   *Data.Vector> (coerce ((Data.Vector.fromList [1,2]) :: Vector CInt)) :: Vector Int
   
   <interactive>:9:2: error:
       • Couldn't match representation of type ‘GHC.Int.Int32’
                                  with that of ‘Int’
           arising from a use of ‘coerce’
       • In the expression:
             (coerce ((Data.Vector.fromList [1, 2]) :: Vector CInt)) ::
               Vector Int
         In an equation for ‘it’:
             it
               = (coerce ((Data.Vector.fromList [1, 2]) :: Vector CInt)) ::
                   Vector Int
   
2. idontgetoutmuch

   added 4 commits that reference this issue on Oct 27, 2018

   Fix haskell#223

   6ed5758

   Fix incorrect coercion haskell#223

   beda2f7

   Fix incorrect coercion haskell#223

   9700d0b

   Fix incorrect coercion haskell#223

   6bfe81b
3. RyanGlScott

   added a commit that references this issue on Oct 27, 2018

   Fix incorrect coercion #223 (#224)

   e80833e
4. RyanGlScott commented on Oct 27, 2018

   

   RyanGlScott

   on Oct 27, 2018

   Member

   More actions

   Fixed in #224.
5. RyanGlScott

   closed this as completedon Oct 27, 2018