haskell-language-server-2.7.0.0: plugins/hls-eval-plugin/test/testdata/T10.expected.hs

{-# LANGUAGE DataKinds, TypeOperators #-}
module T10 where
import GHC.TypeNats ( type (+) )

type Dummy = 1 + 1

-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind! N + M + 1
-- N + M + 1 :: Nat
-- = 42