• Ben Gamari's avatar
    base: Drop out-of-date comment · b3857b62
    Ben Gamari authored
    The comment in GHC.Base claimed that ($) couldn't be used in that module
    as it was wired-in. However, this is no longer true; ($) is merely known
    key and is defined in Haskell (with a RuntimeRep-polymorphic type) in
    The one piece of magic that ($) retains is that it a special typing
    rule to allow type inference with higher-rank types
    (e.g. `runST $ blah`; see Note [Typing rule for ($)] in TcExpr).
Code owners : Herbert Valerio Riedel
Base.hs 51.2 KB