GHC Handbook

Note [How a rubbish literal can be the head of an application]

GHC/Types/Literal.hs:1089 compiler 1 ticket 

Consider this (#19824):

    h :: T3 -> Int -> blah
    h _ (I# n) = ...

    f :: (T1 -> T2 -> T3) -> T4 -> blah
    f g x = ....(h (g n s) x)...

Demand analysis finds that h does not use its first argument, and w/w's h to

    {-# INLINE h #

References 0

This Note does not link to any other.

Referenced by 2