#1930: infix type constructors are printed incorrectly by GHC
----------------------------------+-----------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: 6.8.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: ghci/scripts/ghci033 | Architecture: Unknown
Os: Unknown |
----------------------------------+-----------------------------------------
Changes (by simonpj):
* testcase: => ghci/scripts/ghci033
Comment:
I have fixed the bug in the commend from Frisby:
{{{
Mon Aug 4 17:10:39 BST 2008 [EMAIL PROTECTED]
* Fix the bug part of Trac #1930
}}}
However, the original report is a different point. In Haskell `(+)` is a
type variable not a type constructor. So saying
{{{
undefined :: a+b
}}}
means
{{{
undefined :: forall (+), a, b. (+) a b
}}}
Now, you could argue that the type variable `(+)` should be printed infix.
But I'm planning to make `(+)` into a type '''constructor''', as described
here http://hackage.haskell.org/trac/haskell-
prime/wiki/InfixTypeConstructors. So I am disinclined to fix the original
report in #1930.
Still I'll leave it open to remind me to do the infix-type-constructor
thing. Yell if you think that the infix type constructor proposal is a
Bad Idea.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1930#comment:2>
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
