Report a paste

Please put a quick comment for the admin.

If it looks like spam, the admin will mark it as spam so that the spam filter picks it up in the future.

If the paste contains something private or offensive, it'll probably just be deleted.

No title

 12 import Data.Promotion.TH 
 13 import Data.Singletons.TH
 14 
 15 $(singletons [d|
 16     data Nat where
 17         Z :: Nat
 18         S :: Nat -> Nat
 19 
 20     plus :: Nat -> Nat -> Nat
 21     plus Z x = x
 22     plus (S x) y = S (plus x y)
 23 
 24     minus :: Nat -> Nat -> Nat
 25     minus Z _ = Z
 26     minus m Z = m
 27     minus (S m) (S n) = minus m n
 28   
 29     isEven :: Nat -> Bool
 30     isEven Z = True
 31     isEven (S Z) = False
 32     isEven (S (S n)) = isEven n
 33     |])
 34 

error:

Try.hs:15:3: error:
    The exact Name t_a74f is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74f is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful
Failed, modules loaded: none.