testsuite/tests/tcplugins/TcPlugin_CtId.hs


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

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

module TcPlugin_CtId where

import Definitions
  ( CtId )

foo :: CtId (Num a) => a
foo = 5

bar :: Int
bar = foo