singletons-0.10.0: tests/compile-and-dump/Singletons/BadPlus.hs

module Singletons.BadPlus where

import Data.Singletons.TH
import Singletons.Nat

-- Test whether a declaration without type signature is not singletonized.

$(singletons [d|
   badPlus Zero m = m
   badPlus (Succ n) m = Succ (plus n m)
 |])