Kosyrev Serge

Results 61 issues of Kosyrev Serge

Built with GHC 8.4: ``` Failures: test/Spec.hs:136: 1) TextLens.range gets "" if invalid range uncaught exception: ErrorCall (Data.Text.Array.new: size overflow CallStack (from HasCallStack): error, called at libraries/text/Data/Text/Array.hs:132:20 in text-1.2.3.0:Data.Text.Array) Randomized...

This gets rid of one of the issues on GHC 8.8.

These crop up while compiling against `megaparsec` 7.0.4: ``` [ 8 of 14] Compiling LambdaCube.Compiler.Lexer ( src/LambdaCube/Compiler/Lexer.hs, dist/build/LambdaCube/Compiler/Lexer.o ) src/LambdaCube/Compiler/Lexer.hs:46:22: error: Variable not in scope: getPosition :: RWST (ParseEnv r)...

As can be seen on https://openbenchmarking.org/test/pts/build-clash-1.0.1, some runs had early termination. Can we see the logs from those to diagnose the problems?

Currently slot length appears to be tracked in the update system state: https://github.com/input-output-hk/cardano-ledger/blob/master/cardano-ledger/src/Cardano/Chain/Update/ProtocolParametersUpdate.hs#L148 ..and https://github.com/input-output-hk/cardano-ledger/blob/master/cardano-ledger/src/Cardano/Chain/Update/Validation/Registration.hs#L338 This change in slot duration is replicated across update system state, but is however ignored,...

byron
priority low
consensus

Once one gets to generating array/structure initializers, the picture quickly gets ugly, forcing one to get down to the AST level and build an array of helper functions increasing in...

Since the UTxO is no longer entirely stored in memory, we're losing direct means of estimation of its size. Yet, we still need this information, in the long run --...

:handshake: consensus
UTxO-HD 📒💽

``` [nix-shell:~/src/lambdacube-quake3]$ cabal clean; cabal build; halive mapviewer/MapViewer.hs . ./dist/build/autogen/ cleaning... Package has never been configured. Configuring with default flags. If this fails, please run configure manually. Warning: The package...

``` Running 2 test suites... Test suite demo: RUNNING... MAIN BEGIN demo: SDLCallFailed {sdlExceptionCaller = "SDL.Init.init", sdlFunction = "SDL_Init", sdlExceptionError = "No available video device"} Test suite demo: FAIL Test...

Briefly -- a DHCP Request receives a DHCP ACK from the server, but `dhcpcd` thinks that's a server claim for the address in question. Affected versions are `10.0.3`, `9.4.1` and...