#5268: ghci panic in ByteCodeGen.schemeE: unhandled case
---------------------------------+------------------------------------------
Reporter: patrikja | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Description changed by simonpj:
Old description:
> To reproduce:
> # install ghc from git HEAD 20110622
> tar -zxf MonadicSystems-0.3.0.tar.gz
> cd MonadicSystems-0.3.0/
> cabal configure
> cabal build
> ghci MonadicSystems/Example/InputTransition3
>
> Resulting panic is below.
>
> Note that ghc reports a type error (no panic), while ghci panics.
>
> I attach a snapshot of the code (which is not finished yet, but I thought
> you may have use for the report).
>
> /Patrik
>
> patrikj@dela:~/tmp/MonadicSystems-0.3.0$ ghci
> MonadicSystems/Example/InputTransition3
> GHCi, version 7.1.20110622: http://www.haskell.org/ghc/ :? for help
> Loading package ghc-prim ... linking ... done.
> Loading package integer-gmp ... linking ... done.
> Loading package base ... linking ... done.
> Loading package ffi-1.0 ... linking ... done.
> [ 1 of 12] Compiling MonadicSystems.ConstructorType (
> MonadicSystems/ConstructorType.hs, interpreted )
> [ 2 of 12] Compiling MonadicSystems.ConstructorType.Instances.Identity (
> MonadicSystems/ConstructorType/Instances/Identity.hs, interpreted )
> [ 3 of 12] Compiling MonadicSystems.Function2 (
> MonadicSystems/Function2.hs, interpreted )
> [ 4 of 12] Compiling MonadicSystems.Function (
> MonadicSystems/Function.hs, interpreted )
> [ 5 of 12] Compiling MonadicSystems.Function.Instances.ToFunction (
> MonadicSystems/Function/Instances/ToFunction.hs, interpreted )
> [ 6 of 12] Compiling MonadicSystems.Functor ( MonadicSystems/Functor.hs,
> interpreted )
> [ 7 of 12] Compiling MonadicSystems.Functor.Instances.Identity (
> MonadicSystems/Functor/Instances/Identity.hs, interpreted )
> [ 8 of 12] Compiling MonadicSystems.Monad ( MonadicSystems/Monad.hs,
> interpreted )
> [ 9 of 12] Compiling MonadicSystems.Monad.Instances.Identity (
> MonadicSystems/Monad/Instances/Identity.hs, interpreted )
> [10 of 12] Compiling MonadicSystems.Coalgebra (
> MonadicSystems/Coalgebra.hs, interpreted )
> ghc: panic! (the 'impossible' happened)
> (GHC version 7.1.20110622 for x86_64-unknown-linux):
> ByteCodeGen.schemeE: unhandled case CO tpl_B4{v} [lid]
>
> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
>
> patrikj@dela:~/tmp/MonadicSystems-0.3.0$ ghc
> MonadicSystems/Example/InputTransition3
> [ 1 of 12] Compiling MonadicSystems.ConstructorType (
> MonadicSystems/ConstructorType.hs, MonadicSystems/ConstructorType.o )
> [ 2 of 12] Compiling MonadicSystems.Function (
> MonadicSystems/Function.hs, MonadicSystems/Function.o )
> [ 3 of 12] Compiling MonadicSystems.Function.Instances.ToFunction (
> MonadicSystems/Function/Instances/ToFunction.hs,
> MonadicSystems/Function/Instances/ToFunction.o )
> [ 4 of 12] Compiling MonadicSystems.Functor ( MonadicSystems/Functor.hs,
> MonadicSystems/Functor.o )
> [ 5 of 12] Compiling MonadicSystems.Monad ( MonadicSystems/Monad.hs,
> MonadicSystems/Monad.o )
> [ 6 of 12] Compiling MonadicSystems.Function2 (
> MonadicSystems/Function2.hs, MonadicSystems/Function2.o )
> [ 7 of 12] Compiling MonadicSystems.Coalgebra (
> MonadicSystems/Coalgebra.hs, MonadicSystems/Coalgebra.o )
> [ 8 of 12] Compiling MonadicSystems.ConstructorType.Instances.Identity (
> MonadicSystems/ConstructorType/Instances/Identity.hs,
> MonadicSystems/ConstructorType/Instances/Identity.o )
> [ 9 of 12] Compiling MonadicSystems.Monad.Instances.Identity (
> MonadicSystems/Monad/Instances/Identity.hs,
> MonadicSystems/Monad/Instances/Identity.o )
> [10 of 12] Compiling MonadicSystems.Functor.Instances.Identity (
> MonadicSystems/Functor/Instances/Identity.hs,
> MonadicSystems/Functor/Instances/Identity.o )
> [11 of 12] Compiling MonadicSystems.MonadicCoalgebra (
> MonadicSystems/MonadicCoalgebra.hs, MonadicSystems/MonadicCoalgebra.o )
> [12 of 12] Compiling MonadicSystems.Example.InputTransition3 (
> MonadicSystems/Example/InputTransition3.hs,
> MonadicSystems/Example/InputTransition3.o )
>
> MonadicSystems/Example/InputTransition3.hs:18:10:
> Couldn't match type `Int'
> with `MS.McA.FunctorTag InputTransition3
> MS.McA.:@ MS.McA.Codomain InputTransition3'
> In the instance declaration for `MS.McA.CoalgebraWithInput
> InputTransition3'
New description:
To reproduce:
{{{
# install ghc from git HEAD 20110622
tar -zxf MonadicSystems-0.3.0.tar.gz
cd MonadicSystems-0.3.0/
cabal configure
cabal build
ghci MonadicSystems/Example/InputTransition3
}}}
Resulting panic is below.
Note that ghc reports a type error (no panic), while ghci panics.
I attach a snapshot of the code (which is not finished yet, but I thought
you may have use for the report).
/Patrik
{{{
patrikj@dela:~/tmp/MonadicSystems-0.3.0$ ghci
MonadicSystems/Example/InputTransition3
GHCi, version 7.1.20110622: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
[ 1 of 12] Compiling MonadicSystems.ConstructorType (
MonadicSystems/ConstructorType.hs, interpreted )
[ 2 of 12] Compiling MonadicSystems.ConstructorType.Instances.Identity (
MonadicSystems/ConstructorType/Instances/Identity.hs, interpreted )
[ 3 of 12] Compiling MonadicSystems.Function2 (
MonadicSystems/Function2.hs, interpreted )
[ 4 of 12] Compiling MonadicSystems.Function ( MonadicSystems/Function.hs,
interpreted )
[ 5 of 12] Compiling MonadicSystems.Function.Instances.ToFunction (
MonadicSystems/Function/Instances/ToFunction.hs, interpreted )
[ 6 of 12] Compiling MonadicSystems.Functor ( MonadicSystems/Functor.hs,
interpreted )
[ 7 of 12] Compiling MonadicSystems.Functor.Instances.Identity (
MonadicSystems/Functor/Instances/Identity.hs, interpreted )
[ 8 of 12] Compiling MonadicSystems.Monad ( MonadicSystems/Monad.hs,
interpreted )
[ 9 of 12] Compiling MonadicSystems.Monad.Instances.Identity (
MonadicSystems/Monad/Instances/Identity.hs, interpreted )
[10 of 12] Compiling MonadicSystems.Coalgebra (
MonadicSystems/Coalgebra.hs, interpreted )
ghc: panic! (the 'impossible' happened)
(GHC version 7.1.20110622 for x86_64-unknown-linux):
ByteCodeGen.schemeE: unhandled case CO tpl_B4{v} [lid]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
With GHC:
{{{
patrikj@dela:~/tmp/MonadicSystems-0.3.0$ ghc
MonadicSystems/Example/InputTransition3
[ 1 of 12] Compiling MonadicSystems.ConstructorType (
MonadicSystems/ConstructorType.hs, MonadicSystems/ConstructorType.o )
[ 2 of 12] Compiling MonadicSystems.Function ( MonadicSystems/Function.hs,
MonadicSystems/Function.o )
[ 3 of 12] Compiling MonadicSystems.Function.Instances.ToFunction (
MonadicSystems/Function/Instances/ToFunction.hs,
MonadicSystems/Function/Instances/ToFunction.o )
[ 4 of 12] Compiling MonadicSystems.Functor ( MonadicSystems/Functor.hs,
MonadicSystems/Functor.o )
[ 5 of 12] Compiling MonadicSystems.Monad ( MonadicSystems/Monad.hs,
MonadicSystems/Monad.o )
[ 6 of 12] Compiling MonadicSystems.Function2 (
MonadicSystems/Function2.hs, MonadicSystems/Function2.o )
[ 7 of 12] Compiling MonadicSystems.Coalgebra (
MonadicSystems/Coalgebra.hs, MonadicSystems/Coalgebra.o )
[ 8 of 12] Compiling MonadicSystems.ConstructorType.Instances.Identity (
MonadicSystems/ConstructorType/Instances/Identity.hs,
MonadicSystems/ConstructorType/Instances/Identity.o )
[ 9 of 12] Compiling MonadicSystems.Monad.Instances.Identity (
MonadicSystems/Monad/Instances/Identity.hs,
MonadicSystems/Monad/Instances/Identity.o )
[10 of 12] Compiling MonadicSystems.Functor.Instances.Identity (
MonadicSystems/Functor/Instances/Identity.hs,
MonadicSystems/Functor/Instances/Identity.o )
[11 of 12] Compiling MonadicSystems.MonadicCoalgebra (
MonadicSystems/MonadicCoalgebra.hs, MonadicSystems/MonadicCoalgebra.o )
[12 of 12] Compiling MonadicSystems.Example.InputTransition3 (
MonadicSystems/Example/InputTransition3.hs,
MonadicSystems/Example/InputTransition3.o )
MonadicSystems/Example/InputTransition3.hs:18:10:
Couldn't match type `Int'
with `MS.McA.FunctorTag InputTransition3
MS.McA.:@ MS.McA.Codomain InputTransition3'
In the instance declaration for `MS.McA.CoalgebraWithInput
InputTransition3'
}}}
--
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5268#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
