blob: 86173fa70a8af5959472992517b49d7fc179301b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RankNTypes, MonoLocalBinds #-}
module T13804 where
f periph = let sr :: forall a. [a] -> [a]
sr = if periph then reverse else id
sr2 = sr
-- The question: is sr2 generalised?
-- It should be, because sr has a type sig
-- even though it has periph free
in
(sr2 [True], sr2 "c")
|