infix operators

[jwaldmann]

the programmer should be able to write (e.g., for the maybe monad)

infixl 1  >>, >>=
m >>= f = case m of ...

the problem seems to be that Template Haskell parses the application of >>=
as http://hackage.haskell.org/packages/archive/template-haskell/2.8.0.0/doc/html/Language-Haskell-TH-Syntax.html#v:UInfixE

[jwaldmann]

(bumping this issue). I often want $ .
Maybe hard-code $ and >>= in CO4.Prelude?

[abau]

Maybe hard-code $ and >>= in CO4.Prelude?

Yes, I will look into this.

[abau]

I just added '$' (see https://github.com/apunktbau/co4/blob/master/test/CO4/Example/HangStandalone.hs#L49)

Should >>= be only defined for Maybe? Maybe there should be two compiler flags MonadMaybe and MonadList that enable return and >>= for Maybe or List respectively? Would that be useful?

Edit: These compiler flags would be mutually exclusive, because they apply to the whole constraint.

[jwaldmann]

$ is fine (it is a simple polymorphic function) , >>= is difficult:

it needs a type class (much work), or a restriction to one fixed instance of that class (a hack).

So I'd say you postpone >>= (like ==).