summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_compile/read018.hs
blob: 91eef518be9abca794a3d21cb96eb75501a1cfad (plain)
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