diff options
author | Andrei Borzenkov <andreyborzenkov2002@gmail.com> | 2023-04-22 16:19:01 +0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-25 18:13:19 -0400 |
commit | 74c557121fbcae32abd3b4a69513f8aa7d536073 (patch) | |
tree | c0cc630bd86317124722e9302b0bc694fc02afe8 /testsuite/tests/stranal/should_compile | |
parent | 8f656188e271fc55b31a50a1c2f3cf6ff9bbeeea (diff) | |
download | haskell-74c557121fbcae32abd3b4a69513f8aa7d536073.tar.gz |
Give more guarntees about ImplicitParams (#23289)
- Added new section in the GHC user's guide that legends behavior of
nested implicit parameter bindings in these two cases:
let ?f = 1 in let ?f = 2 in ?f
and
data T where MkT :: (?f :: Int) => T
f :: T -> T -> Int
f MkT MkT = ?f
- Added new test case to examine this behavior.
Diffstat (limited to 'testsuite/tests/stranal/should_compile')
0 files changed, 0 insertions, 0 deletions