rnfail055.stderr 4.42 KB
Newer Older
Simon Marlow's avatar
Simon Marlow committed
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 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77

RnFail055.hs:1:73: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

RnFail055.hs-boot:1:73: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

RnFail055.hs-boot:4:1:
    Identifier `f1' has conflicting definitions in the module and its hs-boot file
    Main module: f1 :: Int -> Float
    Boot file:   f1 :: Float -> Int

RnFail055.hs-boot:6:6:
    Type constructor `S1' has conflicting definitions in the module and its hs-boot file
    Main module: type S1 a b = (a, b)
    Boot file:   type S1 a b c = (a, b)

RnFail055.hs-boot:8:6:
    Type constructor `S2' has conflicting definitions in the module and its hs-boot file
    Main module: type S2 a b = forall a1. (a1, b)
    Boot file:   type S2 a b = forall b1. (a, b1)

RnFail055.hs-boot:12:6:
    Type constructor `T1' has conflicting definitions in the module and its hs-boot file
    Main module: data T1 a b
                     No C type associated
                     RecFlag Recursive
                     = T1 :: forall a b. [b] -> [a] -> T1 a b Stricts: _ _
                     FamilyInstance: none
    Boot file:   data T1 a b
                     No C type associated
                     RecFlag NonRecursive
                     = T1 :: forall a b. [a] -> [b] -> T1 a b Stricts: _ _
                     FamilyInstance: none

RnFail055.hs-boot:14:16:
    Type constructor `T2' has conflicting definitions in the module and its hs-boot file
    Main module: data Eq b => T2 a b
                     No C type associated
                     RecFlag Recursive
                     = T2 :: forall a b. a -> T2 a b Stricts: _
                     FamilyInstance: none
    Boot file:   data Eq a => T2 a b
                     No C type associated
                     RecFlag NonRecursive
                     = T2 :: forall a b. a -> T2 a b Stricts: _
                     FamilyInstance: none

RnFail055.hs-boot:16:11:
    T3 is exported by the hs-boot file, but not exported by the module

RnFail055.hs-boot:17:12:
    T3' is exported by the hs-boot file, but not exported by the module

RnFail055.hs-boot:21:6:
    Type constructor `T5' has conflicting definitions in the module and its hs-boot file
    Main module: data T5 a
                     No C type associated
                     RecFlag Recursive
                     = T5 :: forall a. a -> T5 a Stricts: _ Fields: field5
                     FamilyInstance: none
    Boot file:   data T5 a
                     No C type associated
                     RecFlag NonRecursive
                     = T5 :: forall a. a -> T5 a Stricts: _
                     FamilyInstance: none

RnFail055.hs-boot:23:6:
    Type constructor `T6' has conflicting definitions in the module and its hs-boot file
    Main module: data T6
                     No C type associated
                     RecFlag Recursive
                     = T6 :: Int -> T6 Stricts: _
                     FamilyInstance: none
    Boot file:   data T6
                     No C type associated
                     RecFlag NonRecursive
78
                     = T6 :: Int -> T6 HasWrapper Stricts: SrictNotUnpacked
Simon Marlow's avatar
Simon Marlow committed
79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
                     FamilyInstance: none

RnFail055.hs-boot:25:6:
    Type constructor `T7' has conflicting definitions in the module and its hs-boot file
    Main module: data T7 a
                     No C type associated
                     RecFlag Recursive
                     = T7 :: forall a a1. a1 -> T7 a Stricts: _
                     FamilyInstance: none
    Boot file:   data T7 a
                     No C type associated
                     RecFlag NonRecursive
                     = T7 :: forall a b. a -> T7 a Stricts: _
                     FamilyInstance: none

RnFail055.hs-boot:27:22:
    RnFail055.m1 is exported by the hs-boot file, but not exported by the module

RnFail055.hs-boot:28:7:
    Class `C2' has conflicting definitions in the module and its hs-boot file
    Main module: class C2 a b
                     RecFlag Recursive
                     m2 :: a -> b m2' :: a -> b
    Boot file:   class C2 a b
                     RecFlag NonRecursive
                     m2 :: a -> b

RnFail055.hs-boot:29:24:
    Class `C3' has conflicting definitions in the module and its hs-boot file
    Main module: class (Eq a, Ord a) => C3 a RecFlag Recursive
    Boot file:   class (Ord a, Eq a) => C3 a RecFlag NonRecursive