quipper-core 0.8 → 0.8.0.1

raw patch · 2 files changed

+10/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• quipper-core.cabal +9/−2
• src/Quipper/QData.hs +1/−1

@@ -1,19 +1,26 @@ name:                quipper-core-version:             0.8+version:             0.8.0.1 synopsis:            An embedded, scalable functional programming language for quantum computing. description:         Quipper is an embedded, scalable functional programming language for quantum computing. It provides, among other things:         .         * A high-level circuit description language. This includes gate-by-gate descriptions of circuit fragments, as well as powerful operators for assembling and manipulating circuits.+        .         * A monadic semantics, allowing for a mixture of procedural and declarative programming styles.+        .         * Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical code.+        .         * Support for hierarchical circuits.+        .         * Extensible quantum data types.+        .         * Programmable circuit transformers.+        .         * Support for three execution phases: compile time, circuit generation time, and circuit execution time. A dynamic lifting operation to allow circuit generation to be parametric on values generated at circuit execution time.+        .         * Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets.         .-        This package contains all of quipper, except for the rendering part, which has been separated into the quipper-to reduce dependencies.+        This package contains all of quipper, except for the rendering part, which has been separated into the quipper-rendering package to reduce dependencies. homepage:            http://www.mathstat.dal.ca/~selinger/quipper/ license:             BSD3 license-file:        COPYRIGHT

@@ -12,7 +12,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} -{-# OPTIONS -freduction-depth=50 #-}+{-# OPTIONS -fcontext-stack=50 #-}  -- -O0 is needed for this file, because -O1 triggers a compiler bug in -- ghc 7.2.2 (see http://hackage.haskell.org/trac/ghc/ticket/6168),