#7259: Eta expansion of products in System FC
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.6.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by simonpj):
* cc: Conor.McBride@…, sweirich@… (added)
Comment:
Re the sketchiness, is your worry the following?
* Even though the type `Empty` has no data constructors, there are terms
with type `Empty`, namely diverging ones, such as `undefined :: Empty`.
* But are there any '''types''' with '''kind''' `Empty`? You might think
"no" since we don't have divergent type terms. But there is one, namely
`(Any Empty)`.
So, is that a problem? Adding Conor to the cc list.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7259#comment:6>
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
