blob: bb76a324c9b51939c99b2284cc05a9c7f0b4f0b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies, NoMonoLocalBinds #-}
-- The NoMonoLocalBinds is needed because of #21023
-- If you are here after #21023 is fixed, consider removing the NoMonoLocalBinds.
module T20668 where
type family F a
inject :: a -> F a
inject = undefined
x = [5]
f y = [inject y, x]
|
