Changes between Version 15 and Version 16 of Annotations


Ignore:
Timestamp:
May 6, 2009 9:27:05 PM (5 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.