copilot-language 0.7 → 0.8

raw patch · 1 files changed

+24/−23 lines, 1 files

Files

• copilot-language.cabal +24/−23

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-language-version:             0.7+version:             0.8 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:@@ -42,31 +42,32 @@     ghc-prim >= 0.2 && < 0.3,     copilot-core >= 0.1   exposed-modules:-    Copilot-    Copilot.Language-    Copilot.Language.Error-    Copilot.Language.Interpret-    Copilot.Language.Operators.Boolean-    Copilot.Language.Operators.Cast-    Copilot.Language.Operators.Constant-    Copilot.Language.Operators.Eq-    Copilot.Language.Operators.Extern-    Copilot.Language.Operators.Local-    Copilot.Language.Operators.Integral-    Copilot.Language.Operators.Mux-    Copilot.Language.Operators.Ord-    Copilot.Language.Operators.Temporal-    Copilot.Language.Operators.BitWise-    Copilot.Language.Prelude-    Copilot.Language.Reify+      Copilot+    , Copilot.Language+    , Copilot.Language.Error+    , Copilot.Language.Interpret+    , Copilot.Language.Operators.Boolean+    , Copilot.Language.Operators.Cast+    , Copilot.Language.Operators.Constant+    , Copilot.Language.Operators.Eq+    , Copilot.Language.Operators.Extern+    , Copilot.Language.Operators.Local+    , Copilot.Language.Operators.Integral+    , Copilot.Language.Operators.Mux+    , Copilot.Language.Operators.Ord+    , Copilot.Language.Operators.Temporal+    , Copilot.Language.Operators.BitWise+    , Copilot.Language.Prelude+    , Copilot.Language.Reify+ --    Copilot.Language.Reify.Graph    other-modules:-    Copilot.Language.Analyze-    Copilot.Language.Stream-    Copilot.Language.Spec-    System.Mem.StableName.Dynamic-    System.Mem.StableName.Map+      Copilot.Language.Analyze+    , Copilot.Language.Stream+    , Copilot.Language.Spec+    , System.Mem.StableName.Dynamic+    , System.Mem.StableName.Map    ghc-options:     -fwarn-tabs