Changes between Version 1 and Version 2 of InfixTypeConstructors


Ignore:
Timestamp:
Nov 9, 2007 7:53:08 AM (6 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InfixTypeConstructors

    v1 v2  
    3333== Cons == 
    3434 
     35== Observations == 
     36 
     37 * Note that classes can be infix too; this is useful. 
     38 * Need to have a way to set the fixity of a type constructor `T` differently than the data constructor `T` (or not?). 
     39 * Need to allow infix notation in contexts 
     40{{{ 
     41f :: (a :>: b) => bla blah 
     42}}} 
     43 * Watch out for code like this (http://hackage.haskell.org/trac/ghc/ticket/1727) 
     44{{{ 
     45 infixr 5 `Foo` 
     46 infixr 6 `Bar` 
     47 
     48 data a `Foo` b = a `FOO` a `Bar` b 
     49 data a `Bar` b = a `BAR` b 
     50}}} 
     51