futhark-manifest 1.6.0.0 → 1.7.0.0

raw patch · 4 files changed

+12/−5 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Futhark.Manifest: [entryPointAttrs] :: EntryPoint -> [Text]

- Futhark.Manifest: EntryPoint :: CFuncName -> [Text] -> [Output] -> [Input] -> EntryPoint

+ Futhark.Manifest: EntryPoint :: CFuncName -> [Text] -> [Output] -> [Input] -> [Text] -> EntryPoint

Files

CHANGELOG.md +4/−0
futhark-manifest.cabal +1/−1
src/Futhark/Manifest.hs +6/−3
tests/Tests.hs +1/−1

CHANGELOG.md view

@@ -1,5 +1,9 @@ # Revision history for futhark-manifest +## 1.7.0.0++* Added `entryPointAttrs`.+ ## 1.6.0.0  * Added `opaqueArrayNew` and `recordArrayNew`.

futhark-manifest.cabal view

@@ -1,6 +1,6 @@ cabal-version:      2.4 name:               futhark-manifest-version:            1.6.0.0+version:            1.7.0.0  synopsis:           Definition and serialisation instances for Futhark manifests.

src/Futhark/Manifest.hs view

@@ -87,7 +87,8 @@   { entryPointCFun :: CFuncName,     entryPointTuningParams :: [T.Text],     entryPointOutputs :: [Output],-    entryPointInputs :: [Input]+    entryPointInputs :: [Input],+    entryPointAttrs :: [T.Text]   }   deriving (Eq, Ord, Show) @@ -322,12 +323,13 @@         )       ]     where-      onEntryPoint (EntryPoint cfun tuning_params outputs inputs) =+      onEntryPoint (EntryPoint cfun tuning_params outputs inputs attrs) =         object           [ ("cfun", toJSON cfun),             ("tuning_params", toJSON tuning_params),             ("outputs", toJSON $ map onOutput outputs),-            ("inputs", toJSON $ map onInput inputs)+            ("inputs", toJSON $ map onInput inputs),+            ("attributes", toJSON attrs)           ]        onOutput (Output t u) =@@ -435,6 +437,7 @@       <*> v .: "tuning_params"       <*> v .: "outputs"       <*> v .: "inputs"+      <*> v .: "attributes"  instance JSON.FromJSON Output where   parseJSON = JSON.withObject "Output" $ \v ->

tests/Tests.hs view

@@ -83,7 +83,7 @@   arbitrary = Input <$> arbitrary <*> arbitrary <*> arbitrary  instance Arbitrary EntryPoint where-  arbitrary = EntryPoint <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary+  arbitrary = EntryPoint <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary  instance Arbitrary Manifest where   arbitrary = Manifest <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary