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?
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
