arithmetic-circuits
arithmetic-circuits copied to clipboard
sdiehl
Problem with `stack test`
on current master (18e15deb2438287820664406c0840067c6ffa301)
I get the following error on stack test
pairing > [10 of 11] Compiling Data.Pairing.Hash
pairing >
pairing > /tmp/stack-9ebfe010c6b08242/pairing-1.0.0/src/Data/Pairing/Hash.hs:48:12: error:
pairing > • Could not deduce (Bits (Prime q))
pairing > arising from a use of ‘fromBytes’
pairing > from the context: (MonadRandom m, ECPairing e q r u v w)
pairing > bound by the type signature for:
pairing > swEncBN :: forall e (m :: * -> *) (q :: Nat) (r :: Nat) u v w.
pairing > (MonadRandom m, ECPairing e q r u v w) =>
pairing > ByteString -> m (Maybe (G1 e))
pairing > at src/Data/Pairing/Hash.hs:(44,1)-(45,35)
pairing > • In the expression: fromBytes bs
pairing > In an equation for ‘t’: t = fromBytes bs
pairing > In the second argument of ‘($)’, namely
pairing > ‘do sqrt3 <- hoistMaybe $ sr $ - 3
pairing > let t = fromBytes bs
pairing > s1 = (sqrt3 - 1) / 2
pairing > ....
pairing > guard (b1 + t * t /= 0)
pairing > if t == 0 then
pairing > if b1 == 3 then
pairing > return $ A (- 1) 1
pairing > else
pairing > if b1 == 4 then return $ A 1 2 else ...
pairing > else
pairing > do let ...
pairing > ....’
pairing > |
pairing > 48 | let t = fromBytes bs
pairing > | ^^^^^^^^^^^^
pairing >
Is building / testing with stack supported?
I realize that this is for pairing. I can build / test pairing master without problem, but its 1.0 tag cannot be build. arithemtic-circuits requires >= 1.0 and < 1.1
~/s/g/H/K/pairing ((1.0)|✔) $ stack build
Error: While constructing the build plan, the following exceptions were encountered:
In the dependencies for poly-0.3.2.0:
vector-algorithms-0.8.0.1 from stack configuration does not match >=0.8.0.3 (latest matching version is 0.8.0.3)
needed due to pairing-1.0.0 -> poly-0.3.2.0
Maybe that is the problem?
Bumping bounds for pairing and releasing arithmetic-circuits with #6 included, could probably help.
