... | @@ -218,6 +218,20 @@ However, what can we call the record selectors? They can't both be `$sel_foo_F`! |
... | @@ -218,6 +218,20 @@ However, what can we call the record selectors? They can't both be `$sel_foo_F`! |
|
Some of the tests fail for the ghci way because the `System.IO` and `GHC.TopHandler` modules are not loaded automatically. I'm not sure if this is my fault, or if the problem existed in HEAD when I branched. For the moment, I've tweaked the testsuite to load the necessary modules.
|
|
Some of the tests fail for the ghci way because the `System.IO` and `GHC.TopHandler` modules are not loaded automatically. I'm not sure if this is my fault, or if the problem existed in HEAD when I branched. For the moment, I've tweaked the testsuite to load the necessary modules.
|
|
|
|
|
|
|
|
|
|
|
|
The following triggers a panic when tracing the constraint solver. Again, I need to check if this bug exists in HEAD.
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
{-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-}
|
|
|
|
{-# OPTIONS_GHC -ddump-tc-trace #-}
|
|
|
|
|
|
|
|
type family F (x :: *) :: *
|
|
|
|
|
|
|
|
class (y ~ F x) => C x y
|
|
|
|
|
|
|
|
x = () :: C x y => ()
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
Tests in need of attention:
|
|
Tests in need of attention:
|
|
|
|
|
|
- rename/should_fail/T5892a (accept changed output)
|
|
- rename/should_fail/T5892a (accept changed output)
|
... | | ... | |