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

{-# LANGUAGE NegativeLiterals #-}

module Singletons.NegativeLiterals where

import Data.Singletons.Base.TH
import Numeric.Natural (Natural)

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