Commit 616a3b49 authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

testsuite: Add regression test for #13474

parent a094aa7d
module T13474 where
import qualified Data.Map as M
class Default a where
def :: a
foo :: Default a => b -> a
foo x = def
mapdef :: Default v => M.Map k v -> M.Map k v
mapdef = M.map foo
......@@ -550,3 +550,4 @@ test('T13337', normal, compile, [''])
test('T13343', normal, compile, [''])
test('T13458', normal, compile, [''])
test('T13490', normal, compile, [''])
test('T13474', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment