Skip to content

Commit

Permalink
remove dead code
Browse files Browse the repository at this point in the history
  • Loading branch information
janmasrovira authored and lukaszcz committed Jan 28, 2025
1 parent d9f573e commit 4b00228
Showing 1 changed file with 0 additions and 24 deletions.
24 changes: 0 additions & 24 deletions src/Juvix/Data/NameKind.hs
Original file line number Diff line number Diff line change
Expand Up @@ -86,30 +86,6 @@ canBeCompiled k = case getNameKind k of
KNameFixity -> False
KNameAlias -> False

canHaveFixity :: (HasNameKind a) => a -> Bool
canHaveFixity k = case getNameKind k of
KNameConstructor -> True
KNameInductive -> True
KNameFunction -> True
KNameAxiom -> True
KNameAlias -> True
KNameLocal -> False
KNameLocalModule -> False
KNameTopModule -> False
KNameFixity -> False

canBeIterator :: (HasNameKind a) => a -> Bool
canBeIterator k = case getNameKind k of
KNameFunction -> True
KNameAxiom -> True
KNameConstructor -> False
KNameAlias -> False
KNameInductive -> False
KNameLocal -> False
KNameLocalModule -> False
KNameTopModule -> False
KNameFixity -> False

nameKindAnsi :: NameKind -> AnsiStyle
nameKindAnsi k = case k of
KNameConstructor -> colorDull Blue
Expand Down

0 comments on commit 4b00228

Please sign in to comment.