Permalink
Browse files

Clean up imports.

  • Loading branch information...
leepike committed Jan 4, 2012
1 parent 448ddb9 commit 68cc043969eb82de5d76a9c408f6bebcaf55d7f5
View
@@ -7,8 +7,7 @@
module AddMult ( addMult ) where
import Prelude ()
-import Copilot.Language
-import Copilot.Language.Prelude
+import Language.Copilot
--------------------------------------------------------------------------------
View
@@ -1,14 +1,11 @@
module Examples2 ( examples2 ) where
import Prelude ()
-
-import Copilot.Language.Prelude
-import Copilot.Language
-import Copilot.Language.Reify (reify)
+import Language.Copilot
import qualified Copilot.Compile.SBV as S
-import Data.List (cycle)
+import qualified Data.List as L
--------------------------------------------------------------------------------
@@ -43,7 +40,7 @@ sumExterns :: Stream Word64
sumExterns =
let
e1 = extern "e1" (Just [0..])
- e2 = extern "e2" (Just $ cycle [2,3,4])
+ e2 = extern "e2" (Just $ L.cycle [2,3,4])
in
e1 + e2 + e1
View
@@ -1,9 +1,7 @@
module LTLExamples where
import qualified Prelude as P
-import Copilot.Language
-import Copilot.Language.Prelude
-import Copilot.Library.LTL
+import Language.Copilot
----------------
-- LTL tests ---
View
@@ -7,8 +7,7 @@
module Local ( localEx ) where
import Prelude ()
-import Copilot.Language
-import Copilot.Language.Prelude
+import Language.Copilot
--------------------------------------------------------------------------------
@@ -2,9 +2,7 @@
module PTLTLExamples ( ptltlExamples ) where
-import Copilot.Language
-import Copilot.Language.Prelude
-import Copilot.Library.PTLTL
+import Language.Copilot
import Prelude ()
import qualified Data.List as L
@@ -4,10 +4,7 @@
module RegExpExamples ( regExpExamples ) where
import qualified Prelude as P
-import Copilot.Language
-import Copilot.Language.Prelude
-import Copilot.Library.RegExp
-import Copilot.Library.Utils
+import Language.Copilot
reset :: Stream Bool
reset = [ False ] ++ cycle [ False, False, False, True ]
@@ -2,13 +2,8 @@
module StackExamples ( stackExamples ) where
-
-import Prelude ()
import qualified Prelude as P
-import Copilot.Language
-import Copilot.Library.Stacks
-import Copilot.Language.Prelude
-
+import Language.Copilot
-- push a counter from 1 to 5 onto the stack
pushSignal :: Stream Bool
View
@@ -3,10 +3,7 @@ module StatExamples ( statExamples ) where
-- | Statistics examples
import Prelude ()
-import Copilot.Language
-import Copilot.Language.Prelude
-import Copilot.Library.Statistics
-
+import Language.Copilot
inputData :: Stream Word16
inputData = replicate 5 0 ++ inputData + 5
@@ -8,9 +8,7 @@
module VotingExamples ( votingExamples ) where
-import Copilot.Library.Voting
-import Copilot.Language
-import Copilot.Language.Prelude
+import Language.Copilot
--------------------------------------------------------------------------------
View
@@ -1,5 +1,5 @@
name: copilot
-version: 2.0.2
+version: 2.0.3
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE

0 comments on commit 68cc043

Please sign in to comment.