Changes between Version 6 and Version 7 of TemplateHaskell/Typed


Ignore:
Timestamp:
May 30, 2013 1:15:36 PM (11 months ago)
Author:
gmainland
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TemplateHaskell/Typed

    v6 v7  
    8989 8. '''(Un-typed) pattern and local declaration splices are supported.''' 
    9090 
     91 9. '''Ability to add new top-level declarations from within a top-level splice.''' Any top-level splice may add a new top-level declaration using the function {{{addTopDecl :: [Dec] -> Q ()}}}. Bindings introduced by these top level declarations are immediately available for use. Only functions and values may be bound by declarations added with {{{addTopDecl}}}, and the introduced binders must be {{{NameU}}'s, i.e., generated with {{{newName}}} instead of {{{mkName}}}. 
     92 
    9193=== Remaining Issues/Questions === 
    9294