singletons-base-3.0: tests/compile-and-dump/Singletons/NegativeLiterals.hs

{-# LANGUAGE NegativeLiterals #-}
module Singletons.NegativeLiterals where

import Data.Singletons.Base.TH
import GHC.TypeNats (Nat)

$(singletons [d|
  f :: Nat
  f = -1
  |])