hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:56:23-33: Warning: Use shows
Found

showsPrec 0

Perhaps

shows

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:64:46-56: Warning: Use shows
Found

showsPrec 0

Perhaps

shows

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:74:23-33: Warning: Use shows
Found

showsPrec 0

Perhaps

shows

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:104:3-24: Warning: Eta reduce
Found

show tc = tyconName tc

Perhaps

show = tyconName

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:112:3-28: Warning: Eta reduce
Found

assocKey tc = tyconName tc

Perhaps

assocKey = tyconName

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:214:1-20: Warning: Eta reduce
Found

list t = TAp tList t

Perhaps

list = TAp tList

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:226:3-24: Warning: Eta reduce
Found

kind tc = tyconKind tc

Perhaps

kind = tyconKind

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:234:25-32: Suggestion: Redundant bracket
Found

case (kind t) of
  (Kfun _ k) -> k
  (_) -> error "kind"

Perhaps

case kind t of
  (Kfun _ k) -> k
  (_) -> error "kind"

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:236:5-7: Warning: Redundant bracket
Found

(_)

Perhaps

_

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:259:8-10: Warning: Use ordNub
Found

nub

Perhaps

ordNub

Note: 'nub' is O(n^2), 'ordNub' is O(n log n)

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:259:14-28: Warning: Use concatMap
Found

concat . map tv

Perhaps

concatMap tv

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:321:30-41: Suggestion: Redundant bracket
Found

i :>: (apply s sc)

Perhaps

i :>: apply s sc

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:415:35-57: Warning: Use concatMap
Found

concat (map patVars ps)

Perhaps

concatMap patVars ps

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:420:23-45: Warning: Use concatMap
Found

concat (map patVars ps)

Perhaps

concatMap patVars ps

hs/src/HelVM/HelPS/HS2Lazy/Syntax.hs:464:1-29: Warning: Eta reduce
Found

idEnvTransformer ce = Just ce

Perhaps

idEnvTransformer = Just