Iavor S. Diatchki

Generic encoding incorrect for some cases

1

Consider a type like this: ``` data T = A { tag :: Int } | B ``` when using the default options for generic encoding and try to encode...

Many of the naming methods do not describe what they do, so the only way to know is to try look through the source code, or do experimentation trying to...

Previously the instance was incorrect because it'd cause an infinite loop. This version rearranges the fields of the records to ensure that the hash field is first, which makes it...

I was going through the list of hints: https://github.com/ndmitchell/hlint/blob/master/hints.md and I noticed that some unrelated hints have the same name. For example "usePutStrLn" is used for replacing `putStr (xs ++...

Disallow partial record construction

12

View: https://github.com/yav/rfcs/blob/no-partial-records/texts/no-partial-records.rst

Add record-puns

1

View current version: https://github.com/yav/rfcs/blob/record-puns/texts/0000-record-puns.rst

`bytes_to_str` with `string` as encoding.

4

It would appear that the Kaitait compiler generates calls to `bytes_to_str`, where the encoding parameter is `std::string` instead of `char *`, so I had to add a wrapper function to...

SBV->C: Support arbitrary size bit-vectors, and in general all(?) SBV types

11

I was trying to generate C code for AES from Cryptol, using symbolic simulatino to SBV, but I keep running into variations of this: SBV->C: Not yet supported: join with...

Generalize `configSection` to a list

4

As far as I understand, the current version supports either empty string here (give me all configuration), or a name, in which case you'd get one section. I run into...