blob: 80fac96d9f264ae5ecce1efd393a7c7e4cf021d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{-# OPTIONS_GHC -XImpredicativeTypes -fno-warn-deprecated-flags #-}
module PList1 where
-- Polymorphic lists 1: requires smart-app-res
type Sid = forall a . a -> a
ids :: [Sid]
ids = []
-- requires smart-app-res
test0 :: [Sid]
test0 = (\x->x) : ids
test1 :: [Sid] -- SLPJ added
test1 = ids ++ test0
test2 :: [Sid]
test2 = tail test1
test3 :: [Sid] -- SLPJ added
test3 = reverse test2
test4 = (tail::([Sid]->[Sid])) test2
test5 = (head::([Sid]->Sid)) test2
|