dclabel 0.0.4 → 0.0.5

raw patch · 4 files changed

+5/−16 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- DCLabel.NanoEDSL: class NewPriv a

+ DCLabel.NanoEDSL: class NewPriv a where newTCBPriv p = delegatePriv p . newPriv

- DCLabel.Safe: class NewPriv a

+ DCLabel.Safe: class NewPriv a where newTCBPriv p = delegatePriv p . newPriv

Files

DCLabel/Core.hs +4/−1
DCLabel/PrettyShow.hs +0/−5
DCLabel/TCB.hs +0/−9
dclabel.cabal +1/−1

DCLabel/Core.hs view

@@ -1,6 +1,9 @@ {-# LANGUAGE CPP #-}-#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)+#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702) && (__GLASGOW_HASKELL__ < 704) {-# LANGUAGE SafeImports #-}+#endif+#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 704)+{-# LANGUAGE Unsafe #-} #endif {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE FlexibleInstances #-}

DCLabel/PrettyShow.hs view

@@ -10,12 +10,7 @@ import DCLabel.Core import DCLabel.Secrecy import DCLabel.Integrity-#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)--- import safe Text.PrettyPrint import Text.PrettyPrint-#else-import Text.PrettyPrint-#endif

DCLabel/TCB.hs view

@@ -14,12 +14,3 @@  import DCLabel.Core import DCLabel.NanoEDSL---------

dclabel.cabal view

@@ -1,5 +1,5 @@ Name:           dclabel-Version:        0.0.4+Version:        0.0.5 build-type:     Simple License:        BSD3 License-File:   LICENSE