Just to give everyone an update, I've got word from SPJ on the issue
of positional syntax:
"""
| What were your arguments against the positional syntax?
I don't have a strong feeling against -- but I do think we should
allow non-positional syntax too; it's both consistent with type
signatures and perhaps convenient. Another thing in favour of
non-positional is that it works uniformly for functions, type
constructors, data constructors, and classes.
"""
I'm implementing the positional variant for now: we can debate the
alternatives at our leisure. One particularly nice variant might be as
follows, which combines positionality with an alternative to the
pragma notation to yield what I think is a rather readable syntax:
"""
{-@ Just "My Annotation" @-}
f :: ...
"""
This works for modules and types too, of course:
"""
{-@ ILoveAnnotations @-}
module Main where
{-@ 1 + 1 @-}
type Foo = Bar
"""
(The input from this thread is of course recorded on the wiki:
http://hackage.haskell.org/trac/ghc/wiki/Annotations)
What do you think?
Cheers,
Max
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
