Changes between Version 5 and Version 6 of TemplateHaskell/Restricted


Ignore:
Timestamp:
Jan 31, 2015 4:29:39 PM (5 years ago)
Author:
GregWeber
Comment:

slightly more concrete capabilities idea

Legend:

Unmodified
Added
Removed
Modified
  • TemplateHaskell/Restricted

    v5 v6  
    3737  * level 3: no mkName (we could call this Pure Template Haskell)
    3838
    39 Rather than levels, we may be able to have more flexibility by thinking in terms of capabilities
     39Rather than levels, we may be able to have more flexibility by thinking in terms of [https://github.com/Icelandjack/Capabilities/blob/master/src/Capabilities.hs capabilities]
    4040
     41{{{
     42reify :: Name -> Restrict (TH :+: Reify) Info
     43runIO :: IO a -> Restrict (TH :+: RunIO) a
     44}}}
    4145
    4246=== Module-based Resrictions for library authors ===