On Aug 20, 2013, at 02:19 , Niklas Broberg <niklas.brob...@gmail.com> wrote:
> Sadly not - it's theoretically impossible. The fact that you can put comments
> literally wherever, means that it's impossible to treat them as nodes of the
> AST. E.g.
>
> f {- WHERE -} x = -- WOULD
> -- THESE
> do -- COMMENTS
> a {- END -} <- g x -- UP
> return {- ? -} a
"Theoretically impossible". I wouldn't say so. In fact, a system like this
was implemented for BETA in the mid 1980'es [1]. The comments where
attached to the nearest AST node in an expanded AST. While not _perfect_,
it worked pretty well. Granted, it likely is much harder to do for Haskell than
BETA, but impossible is a strong word.
Tommy
[1] http://www.cs.au.dk/~beta/doc/mjolner-overview/mjolner-overview.pdf
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
