#7684: cgrun071 segfaults
----------------------------------+----------------------------------
Reporter: tibbe | Owner:
Type: bug | Status: infoneeded
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: MacOS X | Architecture: x86_64 (amd64)
Type of failure: Runtime crash | Difficulty: Unknown
Test Case: cgrun071 | Blocked By:
Blocking: | Related Tickets:
----------------------------------+----------------------------------
Comment (by tibbe):
Replying to [comment:42 simonmar]:
> Well, one bug is that in `emitPopCntCall` we don't cast the argument to
the correct width. The `-dcmm-lint` should catch it, because the argument
width isn't the same as the primop is expecting, but the Cmm linter
doesn't check the arguments of prim calls (that's another bug).
How would one cast the argument in the `emitPopCntCall`?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:44>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8915: Instance context not respected in pattern match
------------------------------------+-------------------------------------
Reporter: heisenbug | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.9
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
(I'll only excerpt here, see attached testcase for full program)
I have an instance
{{{
class Foo (f :: Maybe Symbol)
instance KnownSymbol a => Foo (Just a)
}}}
and a constructor constrained `Baz` with it:
{{{
data Bar (f :: Maybe Symbol) where
Baz :: Foo (Just a) => Bar (Just a)
}}}
But the `KnownSymbol` constraint is not liberated when pattern matching on
`Baz`:
{{{
test :: Bar (Just a) -> Bar (Just b) -> Bool
test a@Baz b@Baz = case prox a `sameSymbol` prox b of
Just Refl -> True
_ -> False
where prox :: Bar (Just a) -> Proxy a
prox Baz = Proxy
}}}
I get this error:
{{{
instance-test.hs:14:32:
Could not deduce (KnownSymbol a2)
arising from a use of ‘sameSymbol’
from the context ('Just a ~ 'Just a1, Foo ('Just a1))
bound by a pattern with constructor
Baz :: forall (a :: Symbol). Foo ('Just a) => Bar ('Just
a),
in an equation for ‘test’
at instance-test.hs:14:8-10
or from ('Just b ~ 'Just a2, Foo ('Just a2))
bound by a pattern with constructor
Baz :: forall (a :: Symbol). Foo ('Just a) => Bar ('Just
a),
in an equation for ‘test’
at instance-test.hs:14:14-16
}}}
By my reasoning `Foo ('Just a2)` should imply `KnownSymbol a2`, why is GHC
missing it?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8915>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8911: Panic on incorrect record declaration
-----------------------------------+---------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: record | Operating System: Unknown/Multiple
Architecture: | Type of failure: Compile-time crash
Unknown/Multiple | Test Case:
Difficulty: Unknown | Blocking:
Blocked By: |
Related Tickets: |
-----------------------------------+---------------------------------------
{{{
$ echo 'data X = X { x :: { x :: Int } }' >test.hs; ghc test.hs
[1 of 1] Compiling Main ( test.hs, test.o )
ghc.exe: panic! (the 'impossible' happened)
(GHC version 7.6.3 for i386-unknown-mingw32):
tc_hs_type: record
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8911>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#2283: WIndows: loading objects that refer to DLL symbols
---------------------------------+------------------------------------
Reporter: simonmar | Owner:
Type: bug | Status: patch
Priority: highest | Milestone: 7.8.1
Component: GHCi | Version: 6.8.2
Resolution: | Keywords:
Operating System: Windows | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets: #7097 #7568
---------------------------------+------------------------------------
Comment (by awson):
This patch is not a replacement for old patch. It should be applied to the
current HEAD and 7.8.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
