cabal-version: >=1.10 name: copilot-language version: 0.4 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems. description: Blah blah blah... license: BSD3 license-file: LICENSE author: Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordby Wegmann maintainer: niswegmann@gmail.com stability: Experimental category: Language, Embedded build-type: Simple source-repository head type: git location: git://github.com/niswegmann/copilot-language.git library default-language: Haskell2010 hs-source-dirs: src build-depends: array, base >= 4.0 && < 5, containers >= 0.4 && < 1, data-reify >= 0.6, mtl >= 2.0 && < 3, 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.Language.Reify.Graph other-modules: Copilot.Language.Analyze Copilot.Language.Stream Copilot.Language.Spec System.Mem.StableName.Dynamic System.Mem.StableName.Dynamic.Map ghc-options: -fwarn-tabs -auto-all -caf-all -Wall