remove symbol

src/Control/Abstract/Value.hs

@@ -253,8 +253,6 @@ runString = raiseHandler $ runStringC . interpret
 class Show value => AbstractIntro value where
   -- | Construct a self-evaluating symbol value.
   --   TODO: Should these be interned in some table to provide stronger uniqueness guarantees?
-  symbol :: Text -> value
-
   -- | Construct an abstract regex value.
   regex :: Text -> value
 

src/Data/Abstract/Value/Abstract.hs

@@ -100,7 +100,6 @@ instance AbstractHole Abstract where
 instance AbstractIntro Abstract where
   integer _  = Abstract
   float _    = Abstract
-  symbol _   = Abstract
   regex _    = Abstract
   rational _ = Abstract
   hash _     = Abstract

src/Data/Abstract/Value/Concrete.hs

@@ -183,7 +183,6 @@ instance AbstractHole (Value term address) where
 instance (Show address, Show term) => AbstractIntro (Value term address) where
   integer  = Integer . Number.Integer
   float    = Float . Number.Decimal
-  symbol   = Symbol
   rational = Rational . Number.Ratio
   regex    = Regex
 

src/Data/Abstract/Value/Type.hs

@@ -346,7 +346,6 @@ instance AbstractHole Type where
 instance AbstractIntro Type where
   integer _  = Int
   float _    = Float
-  symbol _   = Symbol
   regex _    = Regex
   rational _ = Rational
   hash       = Hash

src/Data/Syntax/Literal.hs

@@ -215,7 +215,7 @@ instance Ord1 SymbolElement where liftCompare = genericLiftCompare
 instance Show1 SymbolElement where liftShowsPrec = genericLiftShowsPrec
 
 instance Evaluatable SymbolElement where
-  eval _ _ (SymbolElement s) = pure (symbol s)
+  eval _ _ (SymbolElement s) = string s
 
 instance Tokenize SymbolElement where
   tokenize = yield . Run . symbolContent