[darcs-devel] [issue1562] type witness failures on GHC 6.8.2

[Eric Kow]

New submission from Eric Kow <kowey at darcs.net>:

[ 64 of 100] Compiling Darcs.ProgressPatches ( src/Darcs/ProgressPatches.hs,
dist/build/witnesses/witnesses-tmp/Darcs/ProgressPatches.o )

src/Darcs/ProgressPatches.hs:17:21:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `progressFL'
            at src/Darcs/ProgressPatches.hs:16:29
      `y' is a rigid type variable bound by
          the type signature for `progressFL'
            at src/Darcs/ProgressPatches.hs:16:31
      Expected type: FL a x y
      Inferred type: FL a y y
    In the expression: NilFL
    In the definition of `progressFL': progressFL _ NilFL = NilFL

src/Darcs/ProgressPatches.hs:25:21:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:24:21
      `y' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:24:23
      Expected type: FL a x y
      Inferred type: FL a y y
    In the expression: NilFL
    In the definition of `pl': pl NilFL = NilFL

src/Darcs/ProgressPatches.hs:26:27:
    Couldn't match expected type `y' against inferred type `y1'
      `y' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:24:23
      `y1' is a rigid type variable bound by
           the constructor `:>:' at src/Darcs/ProgressPatches.hs:26:14
      Expected type: FL a x y
      Inferred type: FL a x y1
    In the expression:
          unsafePerformIO
        $ do endTedious k
             return (y :>: NilFL)
    In the definition of `pl':
        pl (y :>: NilFL)
             = unsafePerformIO
             $ do endTedious k
                  return (y :>: NilFL)

src/Darcs/ProgressPatches.hs:32:21:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `progressRL'
            at src/Darcs/ProgressPatches.hs:31:29
      `y' is a rigid type variable bound by
          the type signature for `progressRL'
            at src/Darcs/ProgressPatches.hs:31:31
      Expected type: RL a x y
      Inferred type: RL a y y
    In the expression: NilRL
    In the definition of `progressRL': progressRL _ NilRL = NilRL

src/Darcs/ProgressPatches.hs:40:21:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:39:21
      `y' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:39:23
      Expected type: RL a x y
      Inferred type: RL a y y
    In the expression: NilRL
    In the definition of `pl': pl NilRL = NilRL

src/Darcs/ProgressPatches.hs:41:27:
    Couldn't match expected type `x' against inferred type `y1'
      `x' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:39:21
      `y1' is a rigid type variable bound by
           the constructor `:<:' at src/Darcs/ProgressPatches.hs:41:14
      Expected type: RL a x y
      Inferred type: RL a y1 y
    In the expression:
          unsafePerformIO
        $ do endTedious k
             return (y :<: NilRL)
    In the definition of `pl':
        pl (y :<: NilRL)
             = unsafePerformIO
             $ do endTedious k
                  return (y :<: NilRL)

src/Darcs/ProgressPatches.hs:49:29:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `progressRLShowTags'
            at src/Darcs/ProgressPatches.hs:47:52
      `y' is a rigid type variable bound by
          the type signature for `progressRLShowTags'
            at src/Darcs/ProgressPatches.hs:47:54
      Expected type: RL (PatchInfoAnd p) x y
      Inferred type: RL (PatchInfoAnd p) y y
    In the expression: NilRL
    In the definition of `progressRLShowTags':
        progressRLShowTags _ NilRL = NilRL

src/Darcs/ProgressPatches.hs:57:21:
    Couldn't match expected type `x' against inferred type `y'
      `x' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:56:36
      `y' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:56:38
      Expected type: RL (PatchInfoAnd p) x y
      Inferred type: RL (PatchInfoAnd p) y y
    In the expression: NilRL
    In the definition of `pl': pl NilRL = NilRL

src/Darcs/ProgressPatches.hs:58:27:
    Couldn't match expected type `x' against inferred type `y1'
      `x' is a rigid type variable bound by
          the type signature for `pl' at src/Darcs/ProgressPatches.hs:56:36
      `y1' is a rigid type variable bound by
           the constructor `:<:' at src/Darcs/ProgressPatches.hs:58:14
      Expected type: RL (PatchInfoAnd p) x y
      Inferred type: RL (PatchInfoAnd p) y1 y
    In the expression:
          unsafePerformIO
        $ do endTedious k
             return (y :<: NilRL)
    In the definition of `pl':
        pl (y :<: NilRL)
             = unsafePerformIO
             $ do endTedious k
                  return (y :<: NilRL)

What gives? I think we need somebody to check that this works with 6.10 and then
poke at it

----------
messages: 8449
nosy: dmitry.kurochkin, kowey, simon, thorkilnaur
priority: bug
status: need-action
title: type witness failures on GHC 6.8.2
topic: Devel

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1562>
__________________________________