Changes between Version 3 and Version 4 of TemplateHaskell/Typed


Ignore:
Timestamp:
Mar 1, 2013 4:03:29 PM (14 months ago)
Author:
carette
Comment:

add some implementation specificity, as per Simon's comments

Legend:

Unmodified
Added
Removed
Modified
  • TemplateHaskell/Typed

    v3 v4  
    4141 
    4242Note that there should be no restriction on `a` to be a pure type, i.e. it could be `m a` for some `Monad m`.  Normal Haskell typing rules would just apply.  Since top-level declarations cannot be generated as (typed) terms, all such effects would have to be present in the environment already for things to be typeable. 
     43 
     44=== Implementation Details === 
     45 
     46It is implicit in the above, but should be made explicit: untyped quotes/splices/quasiquotes should continue to work as they are -- which in detail means that they should be run in the renamer.  Typed quotes/splices/quasiquotes, should be run by the typechecker.