Treatment of unknown pragmas

[Ben Gamari]

Eric Seidel <eric at seidel.io> writes:

> 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 `{-@ ... @-}` :)
>
Ahh, I see. I saw [1] and assumed that all annotations included the
LIQUID keyword. Apparently this isn't the case. Thanks for clarifying!

Cheers,

- Ben

[1] https://github.com/ucsd-progsys/liquidhaskell#theorem-proving
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181016/0855137d/attachment.sig>