Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

T

test-primops
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

82142e1e

Commit 82142e1e authored 2 months ago by Ben Gamari

Downloads
- Patches
- Plain Diff

Port to Hedgehog

parent 9eb3ada5

No related branches found

No related tags found

1 merge request!31Draft: Port to Hedgehog

Pipeline #108205 failed 2 months ago

Stage: test

Changes 10
Pipelines 2

Hide whitespace changes

Inline Side-by-side

Showing

app/Main.hs 28 additions, 21 deletions

app/Main.hs
src/CCall.hs 16 additions, 14 deletions

src/CCall.hs
src/CallishOp.hs 18 additions, 14 deletions

src/CallishOp.hs
src/Expr.hs 57 additions, 102 deletions

src/Expr.hs
src/Expr/Parse.hs 6 additions, 5 deletions

src/Expr/Parse.hs
src/Interpreter.hs 14 additions, 12 deletions

src/Interpreter.hs
src/MulMayOverflow.hs 18 additions, 14 deletions

src/MulMayOverflow.hs
src/Number.hs 15 additions, 13 deletions

src/Number.hs
src/Width.hs 6 additions, 3 deletions

src/Width.hs
test-primops.cabal 5 additions, 5 deletions

test-primops.cabal

with 183 additions and 203 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment