diff options
Diffstat (limited to 'compiler/GHC/HsToCore/Expr.hs')
-rw-r--r-- | compiler/GHC/HsToCore/Expr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/Expr.hs b/compiler/GHC/HsToCore/Expr.hs index 6bf900da89..b79f5862b9 100644 --- a/compiler/GHC/HsToCore/Expr.hs +++ b/compiler/GHC/HsToCore/Expr.hs @@ -1130,7 +1130,7 @@ is what dsHsWrapped does. Because we might have an HsVar without a wrapper, we check in dsHsVar as well. typecheck/should_fail/T17021 triggers this case. -Note that if `f :: forall r (a :: Type r). blah`, then +Note that if `f :: forall r (a :: TYPE r). blah`, then const True f is absolutely fine. Here `f` is a function, represented by a pointer, and we can pass it to `const` (or anything else). (See |