File tree Expand file tree Collapse file tree 1 file changed +0
-9
lines changed
booster/library/Booster/Definition/Attributes Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Original file line number Diff line number Diff line change @@ -172,15 +172,6 @@ readSyntacticClauses attributes = do
172172 | all isDigit (Text. unpack str) = first Text. pack $ readEither (Text. unpack str)
173173 | otherwise = Left $ " invalid syntactic clause" <> (Text. pack $ show str)
174174
175- -- where
176- -- readWord8 str =
177- -- readT [] = Right 50 -- HACK to accept `simplification()` from internal modules
178- -- readT [n]
179- -- | Text.null n = Right 50 -- HACK to accept `simplification("")`
180- -- | all isDigit (Text.unpack n) = Priority <$> readEither (Text.unpack n)
181- -- | otherwise = Left $ "invalid priority value " <> show n
182- -- readT ns = Left $ "invalid priority value " <> show ns
183-
184175instance HasAttributes ParsedSymbol where
185176 type Attributes ParsedSymbol = SymbolAttributes
186177
You can’t perform that action at this time.
0 commit comments