Skip to content

Gs/nix shell#1

Open
augyg wants to merge 3 commits intomasterfrom
gs/nix-shell
Open

Gs/nix shell#1
augyg wants to merge 3 commits intomasterfrom
gs/nix-shell

Conversation

@augyg
Copy link
Copy Markdown
Contributor

@augyg augyg commented Mar 29, 2026

No description provided.

augyg added 3 commits March 18, 2026 20:57
- Add toSample, toSampleInput, toSampleOutput to FFI module
- Relax cabal version bounds for flexibility
- Add tests for toSample across various sig shapes
Add SigView data kind with Poly/Concrete constructors and
ReifySlotAs/ReifySlotsAs/ReifySigAs classes parameterized by SigView.
Existing ReifySlot/ReifySlots/ReifySig redefined in terms of As classes.
Full backward compat. 11 new tests.
Pins IStr and scrappy-core from GitHub, uses doJailbreak for
runGhcBWrap-core bounds.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant