+++ /dev/null
--- !!! From a Rick Morgan bug report:
--- !!! Single-method class with a locally-polymorphic
--- !!! method.
-
-module Main where
-
-class Poly a where
- poly :: a -> b -> b
-
-instance Poly [a] where
- poly [] y = y
- poly x y = y
-
-main = print ("hurrah" `poly` "Hello, world!\n")