diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-02-06 17:31:18 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-08 10:28:03 -0500 |
| commit | b3857b62cb74ef50cbe88ab898aae946ca933365 (patch) | |
| tree | 106233f740bc29990f76cdad65ed9e2aaddcf1d1 /llvm-targets | |
| parent | b6dc319a2d83a8a8c426d0ad6f46d0b8fad41253 (diff) | |
| download | haskell-b3857b62cb74ef50cbe88ab898aae946ca933365.tar.gz | |
base: Drop out-of-date comment
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
GHC.Base.
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).
Diffstat (limited to 'llvm-targets')
0 files changed, 0 insertions, 0 deletions