Skip to content

Commit

Permalink
update to new record update scoping rules (#18)
Browse files Browse the repository at this point in the history
  • Loading branch information
lukaszcz authored Nov 4, 2024
1 parent 4242b86 commit b28c74a
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 7 deletions.
3 changes: 1 addition & 2 deletions Data/Debug.juvix
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
module Data.Debug;

terminating
undefined : {A : Type} -> A := undefined;
axiom undefined : {A : Type} -> A;
2 changes: 1 addition & 1 deletion Example.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ prop-reverseDoesNotChangeLength (xs : List Int) : Bool := length (reverse xs) ==
prop-reverseReverseIsIdentity (xs : List Int) : Bool := eqListInt xs (reverse (reverse xs));

prop-tailLengthOneLess (xs : List Int) : Bool :=
null xs || ofNat (length (tail xs)) == intSubNat (length xs) 1;
isEmpty xs || ofNat (length (tail xs)) == intSubNat (length xs) 1;

prop-splitAtRecombine (n : Nat) (xs : List Int) : Bool :=
case splitAt n xs of lhs, rhs := eqListInt xs (lhs ++ rhs);
Expand Down
2 changes: 1 addition & 1 deletion Package.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,6 @@ package : Package :=
defaultPackage@?{
name := "quickcheck";
version := mkVersion 0 15 0;
dependencies := [github "anoma" "juvix-stdlib" "1e581bb8fb8a6a9198ad927d1611d280ad5789a6"];
dependencies := [github "anoma" "juvix-stdlib" "ca916cf56258396cc1c559cebf355106b6de199d"];
main := just "Example.juvix"
};
2 changes: 1 addition & 1 deletion Test/QuickCheck/Testable.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ forAll {A T : Type} {{Show A}} {{Arbitrary A}} {{Testable T}} : (A -> T) -> Prop
res : Outcome := runProp subProp rand2;
in overFailure
res
\ {f := f@Failure{counterExamples := Show.show arg :: counterExamples}}});
\ {f := f@Failure{counterExamples := Show.show arg :: Failure.counterExamples f}}});

instance
testableProperty : Testable Property := mkTestable id;
Expand Down
4 changes: 2 additions & 2 deletions juvix.lock.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
# Do not edit this file manually.

version: 2
checksum: 3ac97b0abcbe0af531a71551a177ed89935e3c5b348f802db106b30d41075583
checksum: 71ea35a8c53a5d4e1e3760283204278e0006aa20b260468f8e6cf28fd8d94666
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 1e581bb8fb8a6a9198ad927d1611d280ad5789a6
ref: ca916cf56258396cc1c559cebf355106b6de199d
url: https://github.com/anoma/juvix-stdlib
dependencies: []

0 comments on commit b28c74a

Please sign in to comment.