lambda-buffers

lambda-buffers copied to clipboard

In #116, `docs/syntax.md` was created to specify a LambdaBuffers Frontend file. The chapter is a first draft, and needs improvement. The remaining work is as follows: - Rearranging grammar productions...

jaredponn

When implementing runtimes for LB packages (Prelude, Plutus), we need to have a 'language neutral' specification of: 1. Which opaques types are listed and what do they map to in...

bladyjoker

Compiler: Performance degradation

1

It seems like #75 introduced some performance issues. lbf-comp -w goldens/good/work-dir -i goldens/good -f goldens/good/LambdaBuffers.lbf Takes a couple of seconds to finish.

bladyjoker

1. Add kind checking to Class Instances. 2. Add kind checking to Class Definitions.

cstml

TODO: - [ ] Benign mutation that shuffles Constructors in a Sum - easy - [ ] Benign mutation that shuffles Fields in a Record - easy - [ ]...

bladyjoker

As Andrea pointed out to me, our typeclass system appears to be sound, but is only sound given a boatload of assumptions. I should write those down somewhere in order...

gnumonik

Conway upgrade brings a lot of updates to plutus-ledger-api which means LambdaBuffers need to sync up, specifically of concern for us is https://github.com/IntersectMBO/plutus/tree/master/plutus-ledger-api/src/PlutusLedgerApi/V3 # LB Schema - [ ] Introduce...

bladyjoker

This disables ty class checking because performance blows up. The test suite fails because the type classing is not performed. > NOTE: Keep this in sync with main DONE -...

bladyjoker

Rust codegen: Json correctness impacted by Result/Either ty arg mismatch

1

## Why do tests succeed? https://github.com/mlabs-haskell/lambda-buffers/blob/0670960b08aa65a4c6e0bb4bc9e276c21d0f32b7/testsuites/lbt-prelude/lbt-prelude-rust/tests/goldens.rs#L161-L163 We defined goldens in Rust with Rust's Result and not LBs Either alias (https://github.com/mlabs-haskell/lambda-buffers/blob/0670960b08aa65a4c6e0bb4bc9e276c21d0f32b7/lambda-buffers-codegen/data/rust-prelude-base.json#L18-L22) ## Where's the error coming from? We alias LB Prelude.Either...

bladyjoker

Rust codegen Phantom handling bug

1

Phantom handling in Rust codegen is not correct I believe https://github.com/mlabs-haskell/lambda-buffers/blob/401f8a920a557c71440795174da199a1e128c4f9/lambda-buffers-codegen/src/LambdaBuffers/Codegen/Rust/Print/TyDef.hs#L177 ``` record CreateScriptsRequest a = { scripts : Map ScriptHash (ScriptDatum a) } derive Eq (CreateScriptsRequest a) derive Json...

bladyjoker