Changes between Version 1 and Version 2 of InfixTypeConstructors


Ignore:
Timestamp:
Nov 9, 2007 7:53:08 AM (8 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