remove regex

src/Control/Abstract/Value.hs

@@ -251,11 +251,6 @@ runString :: Carrier (String value :+: sig) (StringC value (Eff m))
 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?
-  -- | Construct an abstract regex value.
-  regex :: Text -> value
-
   -- | Construct an abstract integral value.
   integer :: Integer -> value
 

src/Data/Abstract/Value/Abstract.hs

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

src/Data/Abstract/Value/Concrete.hs

@@ -184,7 +184,6 @@ instance (Show address, Show term) => AbstractIntro (Value term address) where
   integer  = Integer . Number.Integer
   float    = Float . Number.Decimal
   rational = Rational . Number.Ratio
-  regex    = Regex
 
   kvPair = KVPair
   hash = Hash . map (uncurry KVPair)

src/Data/Abstract/Value/Type.hs

@@ -346,7 +346,6 @@ instance AbstractHole Type where
 instance AbstractIntro Type where
   integer _  = Int
   float _    = Float
-  regex _    = Regex
   rational _ = Rational
   hash       = Hash
   kvPair k v = k :* v

src/Data/Syntax/Literal.hs

@@ -231,7 +231,7 @@ instance Show1 Regex where liftShowsPrec = genericLiftShowsPrec
 
 -- TODO: Implement Eval instance for Regex
 instance Evaluatable Regex where
-  eval _ _ (Regex x) = pure (regex x)
+  eval _ _ (Regex x) = string x
 
 instance Tokenize Regex where
   tokenize = yield . Run . regexContent