Treatment of unknown pragmas

[Eric Seidel]

On Tue, Oct 16, 2018, at 15:14, Ben Gamari wrote:

> For this we can follow the model of Liquid Haskell: `{-@ $TOOL_NAME ... @-}` 

LiquidHaskell does not use `{-@ LIQUID ... @-}`, we just write the annotation inside `{-@ ... @-}` :)

> I think it makes a lot of sense to have a standard way for third-parties
> to attach string-y information to Haskell source constructs. While it's
> not strictly speaking necessary to standardize the syntax, doing
> so minimizes the chance that tools overlap and hopefully reduces
> the language ecosystem learning curve.

This sounds exactly like the existing ANN pragma, which is what I've wanted LiquidHaskell to move towards for a long time. What is wrong with using the ANN pragma?