Maxime Henrion committed 46c914e

It turns out the V1 instance is useful in a few very specific cases, so add it
back, but with a correct implementation this time. Update the changelog

  • Participants
  • Parent commits b2237fc

Comments (0)

Files changed (2)


   Changes in version
-  * Fix a big in the U1 instance.
+  * Fix the U1 and V1 instances.
   * The V1 instance has been removed because it is actually useless.


 class GDeepSeq f where
   grnf :: f a -> ()
+instance GDeepSeq V1 where
+  grnf _  = undefined
 instance GDeepSeq U1 where
   -- It is important to pattern match on the U1 constructor here. If we didn't
   -- and used an underscore pattern, the following equality wouldn't hold: