🔥 prime.

Author: robrix

semantic-core/src/Data/Name.hs

@@ -14,7 +14,6 @@ module Data.Name
 , needsQuotation
 , encloseIf
 , Gensym(..)
-, prime
 , fresh
 , namespace
 , Naming(..)
@@ -114,10 +113,6 @@ instance Pretty Gensym where
     where (q, r) = i `divMod` 26
           alphabet = ['a'..'z']
 
-prime :: Gensym -> Gensym
-prime (Gensym s i) = Gensym s (succ i)
-
-
 fresh :: (Carrier sig m, Member Naming sig) => m Gensym
 fresh = send (Fresh pure)