testsuite/tests/rename/should_compile/Imp100Aux.hs-boot


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE RoleAnnotations #-}
module Imp100Aux where
data T1 a@P
data T2 a@P b@P
data T3 a@P b@P c@P
data T4 a@P b@P c@P d@P
data T5 a@P b@P c@P d@P e@P 
data T6 a@P 
data T7 a@P b@P 
data T8 a@P b@P c@P 
data T9 a@P b@P c@P d@P 
data T10 a@P b@P c@P d@P e@P