Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / tc208.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE ImplicitParams, RankNTypes #-}
3
4 -- This program failed to typecheck in an early version of
5 -- GHC with impredicative polymorphism, but it was fixed by
6 -- doing pre-subsumption in the subsumption check.
7 -- bug #821
8
9 module ShouldCompile where
10
11 type PPDoc = (?env :: Int) => Char
12
13 f :: Char -> PPDoc
14 f = succ