Note: we use https://pvp.haskell.org/ (MAJOR.MAJOR.MINOR.PATCH)
- Re-order
TRecord
inInfernoType
so that existing serialization doesn't break
- HLint everything
- Add record types to InfernoType, Value, and Expr
- Fix pretty printing of types to be parser-copmatible. Now prints as
bool{#true, #false}
- Add LetAnnot to Expr for type annotations; move types in Types.hs to Syntax.hs
- Add liftImplEnvM
- Add NFData Value instance.
- Nicer error message when extractArgsAndPrettyPrint fails
- Add Array pattern matching syntax
- Add TCustom to make Inferno parametric on custom types
- Remove Arbitrary and ToADTArbitrary instances
- Implement Serialize for VCObjectHash
- vcObjectHashToByteString and byteStringToVCObjectHash functions base their implementation on put and get respectively.
- Prepare for OSS release