Re: [GHC] #3265: Type operators can be defined without the TypeOperators extension flag

2009-06-02 Thread GHC 
#3265: Type operators can be defined without the TypeOperators extension flag
-+--
Reporter:  nibro |Owner:  simonpj 
Type:  bug   |   Status:  closed  
Priority:  normal|Milestone:  
   Component:  Compiler  |  Version:  6.10.2  
Severity:  normal|   Resolution:  fixed   
Keywords:|   Difficulty:  Unknown 
Testcase:  rename/should_fail/T3265  |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonpj):

  * testcase:  = rename/should_fail/T3265
  * status:  new = closed
  * resolution:  = fixed

Comment:

 Quite right thanks.  Fixed by
 {{{
 Tue Jun  2 14:37:06 BST 2009  simo...@microsoft.com
   * Fix Trac #3265: type operators in type/class declarations

   We should accept these:

  data a :*: b = 
   or
  data (:*:) a b = ...

   only if -XTypeOperators is in force.  And similarly class decls.
 }}}
 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3265#comment:2
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

Re: [GHC] #3265: Type operators can be defined without the TypeOperators extension flag

2009-06-01 Thread GHC 
#3265: Type operators can be defined without the TypeOperators extension flag
-+--
Reporter:  nibro |Owner:  simonpj 
Type:  bug   |   Status:  new 
Priority:  normal|Milestone:  
   Component:  Compiler  |  Version:  6.10.2  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonpj):

  * owner:  = simonpj
  * difficulty:  = Unknown

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3265#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

[GHC] #3265: Type operators can be defined without the TypeOperators extension flag

2009-05-29 Thread GHC 
#3265: Type operators can be defined without the TypeOperators extension flag
-+--
Reporter:  nibro |  Owner:  
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.10.2|   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 The following code is accepted without any extension flags given:
 {{{
 data a :*: b = Foo a b
 type a :+: b = Either a b
 }}}

 However, to use the defined types we need the TypeOperators flag, without
 it the following code will not be accepted:
 {{{
 f :: Int :*: Int - Int
 f (Foo x y) = x+y
 }}}

 It seems clear to me that GHC should not accept the former either without
 the TypeOperators extension enabled.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3265
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