testsuite/tests/tcplugins/TcPlugin_Nullary.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# OPTIONS_GHC -dcore-lint #-}
{-# OPTIONS_GHC -fplugin NullaryPlugin #-}

module TcPlugin_Nullary where

import Definitions
  ( Nullary )

foo :: Nullary => ()
foo = ()

bar :: ()
bar = foo