From 908ddf6a4a6e70f0dfd7472df74881eb3ec61bde Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Tue, 20 Aug 2024 14:40:40 +0200 Subject: [PATCH] Remove commented-out code --- booster/library/Booster/Definition/Attributes/Reader.hs | 9 --------- 1 file changed, 9 deletions(-) diff --git a/booster/library/Booster/Definition/Attributes/Reader.hs b/booster/library/Booster/Definition/Attributes/Reader.hs index 02109bd470..dcec066542 100644 --- a/booster/library/Booster/Definition/Attributes/Reader.hs +++ b/booster/library/Booster/Definition/Attributes/Reader.hs @@ -172,15 +172,6 @@ readSyntacticClauses attributes = do | all isDigit (Text.unpack str) = first Text.pack $ readEither (Text.unpack str) | otherwise = Left $ "invalid syntactic clause" <> (Text.pack $ show str) --- where --- readWord8 str = --- readT [] = Right 50 -- HACK to accept `simplification()` from internal modules --- readT [n] --- | Text.null n = Right 50 -- HACK to accept `simplification("")` --- | all isDigit (Text.unpack n) = Priority <$> readEither (Text.unpack n) --- | otherwise = Left $ "invalid priority value " <> show n --- readT ns = Left $ "invalid priority value " <> show ns - instance HasAttributes ParsedSymbol where type Attributes ParsedSymbol = SymbolAttributes