packages feed

copilot-c99 2.1.2 → 2.2.0

raw patch · 3 files changed

+8/−6 lines, 3 filesdep ~atomdep ~copilot-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: atom, copilot-core

API changes (from Hackage documentation)

- Copilot.Compile.C99.MetaTable: externArrayInfoElemType :: ExternArrayInfo -> Type b
- Copilot.Compile.C99.MetaTable: externArrayInfoIdxExpr :: ExternArrayInfo -> Expr a
- Copilot.Compile.C99.MetaTable: externArrayInfoIdxType :: ExternArrayInfo -> Type a
- Copilot.Compile.C99.MetaTable: externArrayInfoMap :: MetaTable -> ExternArrayInfoMap
- Copilot.Compile.C99.MetaTable: externArrayInfoVar :: ExternArrayInfo -> V b
- Copilot.Compile.C99.MetaTable: externFunInfoArgs :: ExternFunInfo -> [UExpr]
- Copilot.Compile.C99.MetaTable: externFunInfoMap :: MetaTable -> ExternFunInfoMap
- Copilot.Compile.C99.MetaTable: externFunInfoType :: ExternFunInfo -> Type a
- Copilot.Compile.C99.MetaTable: externFunInfoVar :: ExternFunInfo -> V a
- Copilot.Compile.C99.MetaTable: externInfoMap :: MetaTable -> ExternInfoMap
- Copilot.Compile.C99.MetaTable: externInfoType :: ExternInfo -> Type a
- Copilot.Compile.C99.MetaTable: externInfoVar :: ExternInfo -> V a
- Copilot.Compile.C99.MetaTable: streamInfoMap :: MetaTable -> StreamInfoMap
- Copilot.Compile.C99.MetaTable: streamInfoQueue :: StreamInfo -> Queue a
- Copilot.Compile.C99.MetaTable: streamInfoTempVar :: StreamInfo -> V a
- Copilot.Compile.C99.MetaTable: streamInfoType :: StreamInfo -> Type a
- Copilot.Compile.C99.Params: prefix :: Params -> Maybe String
- Copilot.Compile.C99.Params: verbose :: Params -> Bool
- Copilot.Compile.C99.Phases: instance Bounded Phase
- Copilot.Compile.C99.Phases: instance Enum Phase
- Copilot.Compile.C99.Phases: instance Eq Phase
- Copilot.Compile.C99.Phases: instance Ord Phase
- Copilot.Compile.C99.Phases: instance Show Phase
- Copilot.Compile.C99.Test.Iteration: instance Eq Iteration
- Copilot.Compile.C99.Test.Iteration: instance Show Iteration
- Copilot.Compile.C99.Test.Iteration: iterationOutputs :: Iteration -> (Map String [Output])
+ Copilot.Compile.C99.MetaTable: [externArrayInfoElemType] :: ExternArrayInfo -> Type b
+ Copilot.Compile.C99.MetaTable: [externArrayInfoIdxExpr] :: ExternArrayInfo -> Expr a
+ Copilot.Compile.C99.MetaTable: [externArrayInfoIdxType] :: ExternArrayInfo -> Type a
+ Copilot.Compile.C99.MetaTable: [externArrayInfoMap] :: MetaTable -> ExternArrayInfoMap
+ Copilot.Compile.C99.MetaTable: [externArrayInfoVar] :: ExternArrayInfo -> V b
+ Copilot.Compile.C99.MetaTable: [externFunInfoArgs] :: ExternFunInfo -> [UExpr]
+ Copilot.Compile.C99.MetaTable: [externFunInfoMap] :: MetaTable -> ExternFunInfoMap
+ Copilot.Compile.C99.MetaTable: [externFunInfoType] :: ExternFunInfo -> Type a
+ Copilot.Compile.C99.MetaTable: [externFunInfoVar] :: ExternFunInfo -> V a
+ Copilot.Compile.C99.MetaTable: [externInfoMap] :: MetaTable -> ExternInfoMap
+ Copilot.Compile.C99.MetaTable: [externInfoType] :: ExternInfo -> Type a
+ Copilot.Compile.C99.MetaTable: [externInfoVar] :: ExternInfo -> V a
+ Copilot.Compile.C99.MetaTable: [streamInfoMap] :: MetaTable -> StreamInfoMap
+ Copilot.Compile.C99.MetaTable: [streamInfoQueue] :: StreamInfo -> Queue a
+ Copilot.Compile.C99.MetaTable: [streamInfoTempVar] :: StreamInfo -> V a
+ Copilot.Compile.C99.MetaTable: [streamInfoType] :: StreamInfo -> Type a
+ Copilot.Compile.C99.Params: [prefix] :: Params -> Maybe String
+ Copilot.Compile.C99.Params: [verbose] :: Params -> Bool
+ Copilot.Compile.C99.Phases: instance GHC.Classes.Eq Copilot.Compile.C99.Phases.Phase
+ Copilot.Compile.C99.Phases: instance GHC.Classes.Ord Copilot.Compile.C99.Phases.Phase
+ Copilot.Compile.C99.Phases: instance GHC.Enum.Bounded Copilot.Compile.C99.Phases.Phase
+ Copilot.Compile.C99.Phases: instance GHC.Enum.Enum Copilot.Compile.C99.Phases.Phase
+ Copilot.Compile.C99.Phases: instance GHC.Show.Show Copilot.Compile.C99.Phases.Phase
+ Copilot.Compile.C99.Test.Iteration: [iterationOutputs] :: Iteration -> (Map String [Output])
+ Copilot.Compile.C99.Test.Iteration: instance GHC.Classes.Eq Copilot.Compile.C99.Test.Iteration.Iteration
+ Copilot.Compile.C99.Test.Iteration: instance GHC.Show.Show Copilot.Compile.C99.Test.Iteration.Iteration

Files

README.md view
@@ -1,3 +1,5 @@+[![Build Status](https://travis-ci.org/Copilot-Language/copilot-c99.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-c99)+ Overview ======== This package is a Copilot back-end that targets Atom
copilot-c99.cabal view
@@ -1,6 +1,6 @@ cabal-version             : >= 1.10 name                      : copilot-c99-version                   : 2.1.2+version                   : 2.2.0 synopsis                  : A compiler for Copilot targeting C99. description               :   This package is a back-end from Copilot to the Atom DSL.@@ -36,13 +36,13 @@   default-language        : Haskell2010   hs-source-dirs          : src   ghc-options             : -Wall -fwarn-tabs-  ghc-prof-options        : -auto-all -caf-all+--  ghc-prof-options        : -auto-all -caf-all -  build-depends           : atom >= 1.0.10+  build-depends           : atom >= 1.0.13                           , base >= 4.3 && < 5                           , bytestring                           , containers >= 0.4-                          , copilot-core+                          , copilot-core == 2.2.0                           , csv                           , directory >= 1.1                           , process >= 1.0@@ -77,7 +77,7 @@                           , bytestring                           , csv                           , containers >= 0.4-                          , copilot-core+                          , copilot-core == 2.2.0                           , directory >= 1.1                           , process >= 1.0                           , pretty >= 1.0
src/Copilot/Compile/C99/Queue.hs view
@@ -30,7 +30,7 @@     } =   do     (buf ! value p) <== x-    p <== mux (value p + 1 >=. fromIntegral sz) 0 (value p + 1)+    p <== ((value p + 1) `mod_` fromIntegral sz)  lookahead :: Expr a => Int -> Queue a -> E a lookahead i