#7024: Problems with polymorphic kinds imported from module
---------------------------------+------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.5
Keywords: PolyKinds | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
I tried to `cabal install singletons` but failed:
{{{
$ cabal install --with-compiler=c:/code/HEAD-2/inplace/bin/ghc-stage2
singletons
Resolving dependencies...
cabal.exe: cannot configure syb-0.3.6.1. It requires base >=4.0 && <4.6
For the dependency on base >=4.0 && <4.6 there are these packages:
base-4.0.0.0, base-4.1.0.0, base-4.2.0.0, base-4.2.0.1, base-4.2.0.2,
base-4.3.0.0, base-4.3.1.0, base-4.4.0.0, base-4.4.1.0, base-4.5.0.0 and
base-4.5.1.0. However none of them are available.
base-4.0.0.0 was excluded because array-0.3.0.3 requires base >=4.2 && <5
base-4.0.0.0 was excluded because template-haskell-2.6.0.0 requires base
>=4.2
&& <5
base-4.0.0.0 was excluded because containers-0.5.0.0 requires base >=4.2
&& <5
base-4.0.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.0.0.0 was excluded because of the top level dependency base -any
base-4.1.0.0 was excluded because array-0.3.0.3 requires base >=4.2 && <5
base-4.1.0.0 was excluded because template-haskell-2.6.0.0 requires base
>=4.2
&& <5
base-4.1.0.0 was excluded because containers-0.5.0.0 requires base >=4.2
&& <5
base-4.1.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.1.0.0 was excluded because of the top level dependency base -any
base-4.2.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.2.0.0 was excluded because of the top level dependency base -any
base-4.2.0.1 was excluded because base-4.6.0.0 was selected instead
base-4.2.0.1 was excluded because of the top level dependency base -any
base-4.2.0.2 was excluded because base-4.6.0.0 was selected instead
base-4.2.0.2 was excluded because of the top level dependency base -any
base-4.3.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.3.0.0 was excluded because of the top level dependency base -any
base-4.3.1.0 was excluded because base-4.6.0.0 was selected instead
base-4.3.1.0 was excluded because of the top level dependency base -any
base-4.4.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.4.0.0 was excluded because of the top level dependency base -any
base-4.4.1.0 was excluded because base-4.6.0.0 was selected instead
base-4.4.1.0 was excluded because of the top level dependency base -any
base-4.5.0.0 was excluded because base-4.6.0.0 was selected instead
base-4.5.0.0 was excluded because of the top level dependency base -any
base-4.5.1.0 was excluded because base-4.6.0.0 was selected instead
base-4.5.1.0 was excluded because of the top level dependency base -any
}}}
I manually deleted the dependency on `syb` (thinking I could comment out
the code that depended on `syb` but that still failed:
{{{
$ cabal install --with-compiler=c:/code/HEAD-2/inplace/bin/ghc-stage2
Resolving dependencies...
Downloading mtl-2.1.1...
Configuring mtl-2.1.1...
Preprocessing library mtl-2.1.1...
Building mtl-2.1.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class (
Control\Monad\Writer\Class.hs, dist\build\Control\Monad\Writer\Class.o
)
[ 2 of 21] Compiling Control.Monad.State.Class (
Control\Monad\State\Class.hs, dist\build\Control\Monad\State\Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class (
Control\Monad\Reader\Class.hs, dist\build\Control\Monad\Reader\Class.o
)
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control\Monad\RWS\Class.hs,
dist\build\Control\Monad\RWS\Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control\Monad\Identity.hs,
dist\build\Control\Monad\Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class (
Control\Monad\Error\Class.hs, dist\build\Control\Monad\Error\Class.o )
Control\Monad\Error\Class.hs:93:18: Not in scope: `catch'
cabal.exe: Error: some packages failed to install:
mtl-2.1.1 failed during the building phase. The exception was:
ExitFailure 1
singletons-0.8 depends on mtl-2.1.1 which failed to install.
}}}
So I'm stuck at the first fence.
GHC should never be unifying BOX with `[k]`. They belong to different
levels. Something is badly wrong. I am eager to reproduce it.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7024#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
