testsuite/tests/tcplugins/TcPlugin_Args.hs


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

{-# OPTIONS_GHC -dcore-lint #-}
{-# OPTIONS_GHC -fplugin ArgsPlugin
                -fplugin-opt ArgsPlugin:17
 #-}

module Main where

import Definitions
  ( MyClass(methC) )

foo :: Integer
foo = methC

main :: IO ()
main = do
  putStr "foo = "
  print foo