Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update tests to use quickcheck v0.9.0 #90

Merged
merged 1 commit into from
Nov 29, 2023
Merged

Update tests to use quickcheck v0.9.0 #90

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 1 addition & 4 deletions test/Package.juvix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,5 @@ package : Package :=
defaultPackage
{name := "stdlib-test";
dependencies := [ path "../"
; github
"anoma"
"juvix-quickcheck"
"45981b666b67f8ceb7e01ff2b518165efc08f70c"
; github "anoma" "juvix-quickcheck" "v0.9.0"
]};
3 changes: 1 addition & 2 deletions test/Test.juvix
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,11 @@
module Test;

import Stdlib.Prelude open;

import Stdlib.Extra.Gcd open;
import Stdlib.Trait.Ord as Ord;

import Data.List open;
import Data.String open;
import Data.Int open;

import Test.QuickCheckTest as QC;
import Test.Arb as QC;
Expand Down
8 changes: 4 additions & 4 deletions test/juvix.lock.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
# This file was autogenerated by Juvix version 0.5.3.
# This file was autogenerated by Juvix version 0.5.4.
# Do not edit this file manually.

dependencies:
- path: ../
dependencies: []
- git:
name: anoma_juvix-quickcheck
ref: 45981b666b67f8ceb7e01ff2b518165efc08f70c
ref: 37ddfcf56daa6220158aa840a6ae2eb9fb62ddfc
url: https://github.com/anoma/juvix-quickcheck
dependencies:
- git:
name: stdlib
ref: 9a091c5453594ac66b3b25cde0c11a54a255a9c9
name: anoma_juvix-stdlib
ref: f68b0614ad695eaa13ead42f3466e0a78219f826
url: https://github.com/anoma/juvix-stdlib
dependencies: []