hls-eval-plugin-1.1.0.0: test/testdata/T12.hs.expected
{-# LANGUAGE DataKinds, TypeOperators #-}
module T12 where
import GHC.TypeNats ( type (+) )
type Dummy = 1 + 1
-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind N + M + 1
-- N + M + 1 :: Nat
{-# LANGUAGE DataKinds, TypeOperators #-}
module T12 where
import GHC.TypeNats ( type (+) )
type Dummy = 1 + 1
-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind N + M + 1
-- N + M + 1 :: Nat