Changes between Version 7 and Version 8 of TemplateHaskell/Typed


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TemplateHaskell/Typed

    v7 v8  
    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}}}. 
     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}}}. 
    9292 
    9393=== Remaining Issues/Questions ===