Skip to content
Snippets Groups Projects
Commit c62817f2 authored by Luke Lau's avatar Luke Lau Committed by Marge Bot
Browse files

Fix RankNTypes :ghc-flag: in users guide

This fixes a hadrian `build docs` failure
parent 4054f0e5
No related branches found
No related tags found
No related merge requests found
......@@ -131,10 +131,10 @@ Language
bar = foo
Notice that ``A`` enables :ghc-flag:`RankNTypes`, but ``B`` does not.
Notice that ``A`` enables :ghc-flag:`-XRankNTypes`, but ``B`` does not.
Previous versions of GHC would allow ``bar`` to typecheck, even though its
inferred type is higher-rank. GHC 8.10 will now reject this, as one must now
enable :ghc-flag:`RankNTypes` in ``B`` to accept the inferred type signature.
enable :ghc-flag:`-XRankNTypes` in ``B`` to accept the inferred type signature.
Compiler
~~~~~~~~
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment