We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents dd8c479 + ee6a452 commit fd0d85dCopy full SHA for fd0d85d
src/EVM/Fetch.hs
@@ -184,11 +184,7 @@ fetchChainIdFrom url = do
184
sess <- Session.newAPISession
185
fetchQuery Latest (fetchWithSession url sess) QueryChainId
186
187
-http :: Natural -> Maybe Natural -> BlockNumber -> Text -> Fetcher t m s
188
-http smtjobs smttimeout n url q =
189
- withSolvers Z3 smtjobs 1 smttimeout $ \s ->
190
- oracle s (Just (n, url)) q
191
-
+-- Only used for testing (test.hs, BlockchainTests.hs)
192
zero :: Natural -> Maybe Natural -> Fetcher t m s
193
zero smtjobs smttimeout q =
194
withSolvers Z3 smtjobs 1 smttimeout $ \s ->
0 commit comments