ghc/tests/reader/should_compile/read018.hs

   1 -- !!! Checking that empty contexts are permitted.
   2 module ShouldCompile where
   3
   4 data () => Foo a = Foo a
   5
   6 newtype () => Bar = Bar Int
   7
   8 f :: () => Int -> Int
   9 f = (+1)
  10
  11
  12 class () => Fob a where
  13
  14 instance () => Fob Int where
  15 instance () => Fob Float
  16