testsuite/tests/parser/should_compile/read018.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{-# LANGUAGE DatatypeContexts #-}
-- !!! Checking that empty contexts are permitted.
module ShouldCompile where

data () => Foo a = Foo a

newtype () => Bar = Bar Int

f :: () => Int -> Int
f = (+1)


class () => Fob a where

instance () => Fob Int where
instance () => Fob Float