hls-eval-plugin-1.1.1.0: test/testdata/T12.hs

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

type Dummy = 1 + 1

-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind N + M + 1