Safe/Trustworthy Haskell tags.

src/Copilot.hs

@@ -2,12 +2,14 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Main import module for the front-end lanugage.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot
   ( module Copilot.Language
   ) where
 
 import Copilot.Language
 
---------------------------------------------------------------------------------
+--------------------------------------------------------------------------------

src/Copilot/Language.hs

@@ -4,6 +4,8 @@
 
 -- | Main Copilot language export file.
 
+{-# LANGUAGE Safe #-}
+
 module Copilot.Language
   ( module Data.Int
   , module Data.Word

src/Copilot/Language/Analyze.hs

@@ -2,6 +2,7 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
+{-# LANGUAGE Safe #-}
 {-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -23,8 +24,8 @@ import Data.List (groupBy)
 import Data.IORef
 import Data.Typeable
 import System.Mem.StableName.Dynamic
-import System.Mem.StableName.Dynamic.Map (Map(..))
-import qualified System.Mem.StableName.Dynamic.Map as M
+import System.Mem.StableName.Map (Map(..))
+import qualified System.Mem.StableName.Map as M
 import Control.Monad (when, foldM_, foldM)
 import Control.Exception (Exception, throw)
 

src/Copilot/Language/Error.hs

@@ -2,6 +2,8 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
+{-# LANGUAGE Safe #-}
+
 module Copilot.Language.Error 
   ( impossible
   , badUsage ) where

src/Copilot/Language/Interpret.hs

@@ -1,9 +1,10 @@
 {- Copyright (c) 2011 National Institute of Aerospace / Galois, Inc. -}
 
-{-# LANGUAGE GADTs, FlexibleInstances #-}
-
 -- | The interpreter.
 
+{-# LANGUAGE Safe #-}
+{-# LANGUAGE GADTs, FlexibleInstances #-}
+
 module Copilot.Language.Interpret
   ( --Input
     csv

src/Copilot/Language/Operators/BitWise.hs

@@ -2,6 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
+-- | Bitwise operators.
+
+{-# LANGUAGE Safe #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module Copilot.Language.Operators.BitWise

src/Copilot/Language/Operators/Boolean.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Boolean operators.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Boolean
   ( (&&)

src/Copilot/Language/Operators/Cast.hs

@@ -2,10 +2,11 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
-{-# LANGUAGE MultiParamTypeClasses #-}
-
 -- | Type-safe casting operators.
 
+{-# LANGUAGE Safe #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+
 module Copilot.Language.Operators.Cast 
   ( cast ) where
 

src/Copilot/Language/Operators/Constant.hs

@@ -4,6 +4,8 @@
 
 -- | Constants.
 
+{-# LANGUAGE Safe #-}
+
 module Copilot.Language.Operators.Constant
   ( constant
   , constB

src/Copilot/Language/Operators/Eq.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Equality operator.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Eq
   ( (==)

src/Copilot/Language/Operators/Extern.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | External variables, arrays, and functions.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Extern
   ( extern

src/Copilot/Language/Operators/Integral.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Integral class operators.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Integral
   ( div

src/Copilot/Language/Operators/Local.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Let expressions.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Local
   ( local

src/Copilot/Language/Operators/Mux.hs

@@ -4,6 +4,8 @@
 
 -- | if-then-else.
 
+{-# LANGUAGE Safe #-}
+
 module Copilot.Language.Operators.Mux
   ( mux
   , ifThenElse

src/Copilot/Language/Operators/Ord.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Comparison operators.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Ord
   ( (<=)

src/Copilot/Language/Operators/Temporal.hs

@@ -2,7 +2,9 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
--- |
+-- | Stream construction.
+
+{-# LANGUAGE Safe #-}
 
 module Copilot.Language.Operators.Temporal
   ( (++)

src/Copilot/Language/Prelude.hs

@@ -5,6 +5,8 @@
 -- | Reexports 'Prelude' from package "base" hiding identifiers redefined by
 -- Copilot.
 
+{-# LANGUAGE Safe #-}
+
 module Copilot.Language.Prelude
   ( module Prelude
   ) where

src/Copilot/Language/Reify.hs

@@ -5,14 +5,15 @@
 -- | Transforms a Copilot Language specification into a Copilot Core
 -- specification.
 
+{-# LANGUAGE Safe #-}
 {-# LANGUAGE ExistentialQuantification, Rank2Types #-}
 
 module Copilot.Language.Reify
   ( reify
   ) where
 
 import qualified Copilot.Core as Core
-import Copilot.Core (Typed, Type, Id, typeOf, impossible)
+import Copilot.Core (Typed, Id, typeOf, impossible)
 
 --import Copilot.Language.Reify.Sharing (makeSharingExplicit)
 import Copilot.Language.Analyze (analyze)
@@ -22,8 +23,8 @@ import Copilot.Language.Stream (Stream (..), Arg (..))
 import Prelude hiding (id)
 import Data.IORef
 import System.Mem.StableName.Dynamic
-import System.Mem.StableName.Dynamic.Map (Map)
-import qualified System.Mem.StableName.Dynamic.Map as M
+import System.Mem.StableName.Map (Map)
+import qualified System.Mem.StableName.Map as M
 import Control.Monad (liftM)
 
 --------------------------------------------------------------------------------

src/Copilot/Language/Spec.hs

@@ -2,12 +2,12 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
+-- | Copilot specifications.
+
+{-# LANGUAGE Safe #-}
 {-# LANGUAGE GADTs #-}
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE KindSignatures #-}
 
--- |
-
 module Copilot.Language.Spec
   ( Spec
   , runSpec

src/Copilot/Language/Stream.hs

@@ -4,6 +4,7 @@
 
 -- | Abstract syntax for streams and operators.
 
+{-# LANGUAGE Safe #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE Rank2Types #-}

src/System/Mem/StableName/Dynamic.hs

@@ -2,14 +2,16 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
+{-# LANGUAGE Trustworthy #-}
+
 module System.Mem.StableName.Dynamic
   ( DynStableName(..)
   , hashDynStableName
   , makeDynStableName
   ) where
 
 import System.Mem.StableName (StableName, makeStableName, hashStableName)
-import Unsafe.Coerce (unsafeCoerce)
+import Unsafe.Coerce (unsafeCoerce) -- XXX Not safe!
 
 newtype DynStableName = DynStableName (StableName ())
 

src/System/Mem/StableName/Map.hs

@@ -2,7 +2,9 @@
 -- Most of this code is taken from 'https://github.com/ekmett/stable-maps'.
 --------------------------------------------------------------------------------
 
-module System.Mem.StableName.Dynamic.Map
+{-# LANGUAGE Safe #-}
+
+module System.Mem.StableName.Map
     ( Map(..)
     , empty
     , null