Eliminate sepBy, sepBy'. #71

statebox · Oct 15, 2018 · 01f92d5 · 01f92d5
1 parent 700e521
commit 01f92d5
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/src/Language/Instance.hs b/src/Language/Instance.hs
@@ -90,14 +90,6 @@ aAtt alg f x = nf'' alg $ Att f $ up15 $ repr alg x
 aSk :: Algebra var ty sym en fk att gen sk x y -> sk -> Term Void ty sym Void Void Void Void y
 aSk alg g = nf'' alg $ Sk g
 
-sepBy :: [[Char]] -> [Char] -> [Char]
-sepBy [] _ = ""
-sepBy (x:[]) _ = x
-sepBy (x:y ) sep = x ++ sep ++ (sepBy y sep)
-
-sepBy' :: [Char] -> [[Char]] -> [Char]
-sepBy' x y = sepBy y x
-
 instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk, Show x, Show y, Eq en, Eq fk, Eq att)
   => Show (Algebra var ty sym en fk att gen sk x y) where
   show alg@(Algebra sch _ _ _ ty' _ _ teqs') =