Daniil Iaitskov

Document loop device support

2

I checked docs and haven't found answer whether ltfs works with Linux loop devices. I don't have a physical tape device.

Poison of dependencies from parent cabal.project

3

HLS tries to resolve dependencies from cabal.project file form parent folder, nonetheless child sub package don't have any reference these deps nor siblings. > Configuration is affected by cabal.project at...

An ill-typed proposition is generated with Coercion

2

### Description of the problem Hi, I study SF and in an attempt to come up with a solution I noticed that destruct tactic on an expression of `aexp` type...

Incompatible notations in SF

1

Hi, Map module in SF book use underscore (`_`) as part of a notation. Search command breaks. The underscore in a notation is not best choice but the symbol is...

empty response for info_auto tactic

1

Hi, `info_auto` tactic runs `auto` tactic with logging but the `*response*` buffer is empty. coqtop output: > (* info auto: *) > intro. > intro. > intro. > intro. >...

hGetContents closes handle

2

hGetContents doesn't create Handle and therefore it is not obvious why it closes it. Handle is closed on a bracket. ``` data GitObject = GitObject { gobHash :: !(Digest SHA1State)...

Parameterize Handle for lazy ByteString

1

Handle type parameter disambiguates hGetContents behavior. https://github.com/haskell/bytestring/issues/707

use RequiredTypeArguments for annotations

2

and warning fixes. Original code storing annotations in record fields can be rewritten with: ```haskell reqTyAr :: forall a b . (a -> b) -> (forall b2 -> b2) ->...