Type errors sometimes has a lot of irrelevant information (#11541) · Issues · Glasgow Haskell Compiler / GHC

Type errors sometimes has a lot of irrelevant information

Here's an example. The essential part of the error message is

    Couldn't match type `DeclS IString TLoc' with `DeclHeadS IString l'

This is buried somewhere in the middle. Fixing this problem makes all the others go away. It seems ghc spits out constraints that it hasn't solved, but they are unsolved because there was a type error.

Full message:

Stem\Mu\Deriving.hs:214:93:
    No instance for (Integral b0) arising from a use of `constr'
    The type variable `b0' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the first argument of `zipWith', namely `constr'
    In the second argument of `($)', namely `zipWith constr qs [0 .. ]'
    In the expression: List () $ zipWith constr qs [0 .. ]

Stem\Mu\Deriving.hs:214:103:
    No instance for (Enum b0)
      arising from the arithmetic sequence `0 .. '
    The type variable `b0' is ambiguous
    Note: there are several potential instances:
      instance Enum GeneralCategory -- Defined in `Data.Char'
      instance Enum InlInfo -- Defined in `Cortex.Stem.Mu.Util'
      instance Enum Double -- Defined in `GHC.Float'
      ...plus 24 others
    In the third argument of `zipWith', namely `[0 .. ]'
    In the second argument of `($)', namely `zipWith constr qs [0 .. ]'
    In the expression: List () $ zipWith constr qs [0 .. ]

Stem\Mu\Deriving.hs:214:104:
    No instance for (Num b0) arising from the literal `0'
    The type variable `b0' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the expression: 0
    In the third argument of `zipWith', namely `[0 .. ]'
    In the second argument of `($)', namely `zipWith constr qs [0 .. ]'

Stem\Mu\Deriving.hs:285:28:
    No instance for (Integral a0) arising from a use of `list'
    The type variable `a0' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the second argument of `($)', namely
      `list
         10 (mkstr (nameString n) : map (ashow (mkInt () 11) . qvar) vs)'
    In the second argument of `($)', namely
      `shows
       $ list
           10 (mkstr (nameString n) : map (ashow (mkInt () 11) . qvar) vs)'
    In the expression:
      method (PApp () (UnQual () $ dropAnn n) (map (PVar ()) vs))
      $ shows
        $ list
            10 (mkstr (nameString n) : map (ashow (mkInt () 11) . qvar) vs)

Stem\Mu\Deriving.hs:285:33:
    No instance for (Num a0) arising from the literal `10'
    The type variable `a0' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `list', namely `10'
    In the second argument of `($)', namely
      `list
         10 (mkstr (nameString n) : map (ashow (mkInt () 11) . qvar) vs)'
    In the second argument of `($)', namely
      `shows
       $ list
           10 (mkstr (nameString n) : map (ashow (mkInt () 11) . qvar) vs)'

Stem\Mu\Deriving.hs:285:72:
    No instance for (Integral a1) arising from a use of `mkInt'
    The type variable `a1' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the first argument of `ashow', namely `(mkInt () 11)'
    In the first argument of `(.)', namely `ashow (mkInt () 11)'
    In the first argument of `map', namely
      `(ashow (mkInt () 11) . qvar)'

Stem\Mu\Deriving.hs:285:81:
    No instance for (Num a1) arising from the literal `11'
    The type variable `a1' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the second argument of `mkInt', namely `11'
    In the first argument of `ashow', namely `(mkInt () 11)'
    In the first argument of `(.)', namely `ashow (mkInt () 11)'

Stem\Mu\Deriving.hs:288:44:
    No instance for (Show a3) arising from a use of `var'
    The type variable `a3' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the second argument of `PVar', namely `(var 0)'
    In the second argument of `PInfixApp', namely `(PVar () (var 0))'
    In the first argument of `method', namely
      `(PInfixApp
          () (PVar () (var 0)) (UnQual () $ dropAnn n) (PVar () (var 1)))'

Stem\Mu\Deriving.hs:288:48:
    No instance for (Num a3) arising from the literal `0'
    The type variable `a3' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `var', namely `0'
    In the second argument of `PVar', namely `(var 0)'
    In the second argument of `PInfixApp', namely `(PVar () (var 0))'

Stem\Mu\Deriving.hs:288:86:
    No instance for (Show a4) arising from a use of `var'
    The type variable `a4' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the second argument of `PVar', namely `(var 1)'
    In the fourth argument of `PInfixApp', namely `(PVar () (var 1))'
    In the first argument of `method', namely
      `(PInfixApp
          () (PVar () (var 0)) (UnQual () $ dropAnn n) (PVar () (var 1)))'

Stem\Mu\Deriving.hs:288:90:
    No instance for (Num a4) arising from the literal `1'
    The type variable `a4' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `var', namely `1'
    In the second argument of `PVar', namely `(var 1)'
    In the fourth argument of `PInfixApp', namely `(PVar () (var 1))'

Stem\Mu\Deriving.hs:289:28:
    No instance for (Integral a5) arising from a use of `list'
    The type variable `a5' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the second argument of `($)', namely
      `list
         (precOf n)
         [ashow pp $ qvar $ var 0, mkstr (nameString n),
          ashow pp $ qvar $ var 1]'
    In the second argument of `($)', namely
      `shows
       $ list
           (precOf n)
           [ashow pp $ qvar $ var 0, mkstr (nameString n),
            ashow pp $ qvar $ var 1]'
    In the expression:
      method
        (PInfixApp
           () (PVar () (var 0)) (UnQual () $ dropAnn n) (PVar () (var 1)))
      $ shows
        $ list
            (precOf n)
            [ashow pp $ qvar $ var 0, mkstr (nameString n),
             ashow pp $ qvar $ var 1]

Stem\Mu\Deriving.hs:289:34:
    No instance for (Num a5) arising from a use of `precOf'
    The type variable `a5' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `list', namely `(precOf n)'
    In the second argument of `($)', namely
      `list
         (precOf n)
         [ashow pp $ qvar $ var 0, mkstr (nameString n),
          ashow pp $ qvar $ var 1]'
    In the second argument of `($)', namely
      `shows
       $ list
           (precOf n)
           [ashow pp $ qvar $ var 0, mkstr (nameString n),
            ashow pp $ qvar $ var 1]'

Stem\Mu\Deriving.hs:289:63:
    No instance for (Show a6) arising from a use of `var'
    The type variable `a6' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the second argument of `($)', namely `var 0'
    In the second argument of `($)', namely `qvar $ var 0'
    In the expression: ashow pp $ qvar $ var 0

Stem\Mu\Deriving.hs:289:67:
    No instance for (Num a6) arising from the literal `0'
    The type variable `a6' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `var', namely `0'
    In the second argument of `($)', namely `var 0'
    In the second argument of `($)', namely `qvar $ var 0'

Stem\Mu\Deriving.hs:289:110:
    No instance for (Show a7) arising from a use of `var'
    The type variable `a7' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the second argument of `($)', namely `var 1'
    In the second argument of `($)', namely `qvar $ var 1'
    In the expression: ashow pp $ qvar $ var 1

Stem\Mu\Deriving.hs:289:114:
    No instance for (Num a7) arising from the literal `1'
    The type variable `a7' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the first argument of `var', namely `1'
    In the second argument of `($)', namely `var 1'
    In the second argument of `($)', namely `qvar $ var 1'

Stem\Mu\Deriving.hs:290:37:
    No instance for (Integral a2) arising from a use of `mkInt'
    The type variable `a2' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the expression: mkInt () (precOf n + 1)
    In an equation for `pp': pp = mkInt () (precOf n + 1)
    In an equation for `sh':
        sh (QualConDecl _ _ _ (InfixConDecl _ t1 n t2))
          = method
              (PInfixApp
                 () (PVar () (var 0)) (UnQual () $ dropAnn n) (PVar () (var 1)))
            $ shows
              $ list
                  (precOf n)
                  [ashow pp $ qvar $ var 0, mkstr (nameString n),
                   ashow pp $ qvar $ var 1]
          where
              pp = mkInt () (precOf n + 1)

Stem\Mu\Deriving.hs:290:56:
    No instance for (Num a2) arising from a use of `+'
    The type variable `a2' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the second argument of `mkInt', namely `(precOf n + 1)'
    In the expression: mkInt () (precOf n + 1)
    In an equation for `pp': pp = mkInt () (precOf n + 1)

Stem\Mu\Deriving.hs:297:47:
    No instance for (Integral a8) arising from a use of `mkInt'
    The type variable `a8' is ambiguous
    Note: there are several potential instances:
      instance Integral Int -- Defined in `GHC.Real'
      instance Integral Integer -- Defined in `GHC.Real'
      instance Integral GHC.Types.Word -- Defined in `GHC.Real'
      ...plus 8 others
    In the first argument of `ashow', namely `(mkInt () 0)'
    In the second argument of `aapp', namely
      `ashow (mkInt () 0) (qvar $ dropAnn n)'
    In the expression:
      mkstr (nameString n & " = ")
      `aapp` ashow (mkInt () 0) (qvar $ dropAnn n)

Stem\Mu\Deriving.hs:297:56:
    No instance for (Num a8) arising from the literal `0'
    The type variable `a8' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the second argument of `mkInt', namely `0'
    In the first argument of `ashow', namely `(mkInt () 0)'
    In the second argument of `aapp', namely
      `ashow (mkInt () 0) (qvar $ dropAnn n)'

Stem\Mu\Deriving.hs:337:44:
    No instance for (Show a10) arising from a use of `varx'
    The type variable `a10' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the first argument of `map', namely `varx'
    In the expression: map varx [0, 1]
    In a pattern binding: [x0, x1] = map varx [0, 1]

Stem\Mu\Deriving.hs:337:50:
    No instance for (Num a10) arising from the literal `0'
    The type variable `a10' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the expression: 0
    In the second argument of `map', namely `[0, 1]'
    In the expression: map varx [0, 1]

Stem\Mu\Deriving.hs:338:44:
    No instance for (Show a9) arising from a use of `vary'
    The type variable `a9' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the first argument of `map', namely `vary'
    In the expression: map vary [0, 1]
    In a pattern binding: [y0, y1] = map vary [0, 1]

Stem\Mu\Deriving.hs:338:50:
    No instance for (Num a9) arising from the literal `0'
    The type variable `a9' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the expression: 0
    In the second argument of `map', namely `[0, 1]'
    In the expression: map vary [0, 1]

Stem\Mu\Deriving.hs:366:33:
    Couldn't match type `DeclS IString TLoc' with `DeclHeadS IString l'
    Expected type: DeclHead l
      Actual type: Decl TLoc
    Relevant bindings include
      n :: Name l (bound at Stem\Mu\Deriving.hs:366:10)
      vs :: [TyVarBind l] (bound at Stem\Mu\Deriving.hs:366:13)
    In the first argument of `splitDeclHead', namely `dh'
    In the expression: splitDeclHead dh

Stem\Mu\Deriving.hs:392:44:
    No instance for (Show a14) arising from a use of `varx'
    The type variable `a14' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the first argument of `map', namely `varx'
    In the expression: map varx [0, 1]
    In a pattern binding: [x0, x1] = map varx [0, 1]

Stem\Mu\Deriving.hs:392:50:
    No instance for (Num a14) arising from the literal `0'
    The type variable `a14' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the expression: 0
    In the second argument of `map', namely `[0, 1]'
    In the expression: map varx [0, 1]

Stem\Mu\Deriving.hs:393:44:
    No instance for (Show a13) arising from a use of `vary'
    The type variable `a13' is ambiguous
    Note: there are several potential instances:
      instance Show GeneralCategory -- Defined in `Data.Char'
      instance Show IString -- Defined in `Cortex.Utils.IString'
      instance Show a => Show (Cortex.Utils.List.Down a)
        -- Defined in `Cortex.Utils.List'
      ...plus 171 others
    In the first argument of `map', namely `vary'
    In the expression: map vary [0, 1]
    In a pattern binding: [y0, y1] = map vary [0, 1]

Stem\Mu\Deriving.hs:393:50:
    No instance for (Num a13) arising from the literal `0'
    The type variable `a13' is ambiguous
    Note: there are several potential instances:
      instance Num Double -- Defined in `GHC.Float'
      instance Num Float -- Defined in `GHC.Float'
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 12 others
    In the expression: 0
    In the second argument of `map', namely `[0, 1]'
    In the expression: map vary [0, 1]

Trac metadata

Trac field	Value
Version	7.8.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture