Changes between Version 15 and Version 16 of Annotations


Ignore:
Timestamp:
May 6, 2009 9:27:05 PM (6 years ago)
Author:
batterseapower
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Annotations

    v15 v16  
    1919The situation as-implemented is not well represented by the text below. The annotation system committed in the end is very simple. Basically, you can write things like this:
    2020
     21{{{
    2122{-# ANN x e #-}
     23}}}
    2224
    2325Where x is an identifier and e is an expression with a Data instance (used only for serialization - a bit of a wart). You can also annotate types and modules in the same manner:
    2426
     27{{{
    2528{-# ANN type T e #-}
    2629{-# ANN module e #-}
     30}}}
    2731
    2832The expressions e are all evaluated at compile time, and subject to the same restrictions as spliced expressions in Template Haskell.