Changes between Version 12 and Version 13 of Plugins


Ignore:
Timestamp:
Sep 10, 2008 12:42:27 PM (6 years ago)
Author:
batterseapower
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Plugins

    v12 v13  
    77== Future Work == 
    88 
    9 Annotation related: 
    10  
    11  * Plugins cannot currently add further annotations during compilation that will be compiled into the result. I.e. any annotations they add are transient and disappear at the end of that particular run of the Core pipeline. 
    12   
    13  * We might want to add attribute metadata, so users can specify the multiplicity attributes should take, what sorts of things they can be attached to (value, type, module), and perhaps even what types they can be attached to (e.g. "only things of type a -> Bool for some a"), similar to C# ([http://msdn.microsoft.com/en-us/library/tw5zxet9(VS.80).aspx]) or Java. 
    14  
    15  * We might want to extend annotation syntax so you can attach multiple annotations in a single definition, like so: 
    16  
    17 {{{ 
    18 {-# ANN f, g, x Foo #-} 
    19 f = ... 
    20 g = ... 
    21 x = ... 
    22 }}} 
    23  
    24  * It might be nice to be able to write annotations in more places: 
    25  
    26    * Exports 
    27  
    28    * Function parameters 
    29  
    30    * Expressions (for plugins, similar to SCCs) 
    31  
    32    * Fields of data/newtype declarations 
    33  
    34    * Non-top-level identifiers (for plugins, tricky because such names are unstable) 
     9Annotation related: see [[Plugins/Annotatations]]. 
    3510 
    3611== (OUTDATED) Implementation Speculation ==