Skip to content

Commit

Permalink
fix tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukaszcz
lukaszcz committed Oct 10, 2024
1 parent 28be42d commit 0deb72a
Show file tree
Hide file tree
Showing 9 changed files with 26 additions and 26 deletions.
6 changes: 3 additions & 3 deletions tests/Anoma/Compilation/positive/test069.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A := mkOrd cmp lt gt;

ordNatNamed : Ord Nat :=
Expand Down
6 changes: 3 additions & 3 deletions tests/Anoma/Compilation/positive/test071.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A :=
mkOrd cmp lt gt;

Expand Down
6 changes: 3 additions & 3 deletions tests/Casm/Compilation/positive/test069.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A := mkOrd cmp lt gt;

ordNatNamed : Ord Nat :=
Expand Down
6 changes: 3 additions & 3 deletions tests/Casm/Compilation/positive/test071.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A :=
mkOrd cmp lt gt;

Expand Down
6 changes: 3 additions & 3 deletions tests/Compilation/positive/test069.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A := mkOrd cmp lt gt;

ordNatNamed : Ord Nat :=
Expand Down
6 changes: 3 additions & 3 deletions tests/Compilation/positive/test071.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A := mkOrd cmp lt gt;

instance
Expand Down
4 changes: 2 additions & 2 deletions tests/Internal/positive/QuickSort.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,15 +13,15 @@ quickSort
| cmp (x :: xs) :=
qsHelper
x
(both (quickSort cmp) (partition (isGT << cmp x) xs));
(both (quickSort cmp) (partition (isGreaterThan << cmp x) xs));

uniq
: {A : Type} -> (A -> A -> Ordering) -> List A -> List A
| _ nil := nil
| _ y@(x :: nil) := y
| cmp (x :: x' :: xs) :=
ite
(isEQ (cmp x x'))
(isEqual (cmp x x'))
(uniq cmp (x' :: xs))
(x :: uniq cmp (x' :: xs));

Expand Down
6 changes: 3 additions & 3 deletions tests/Rust/Compilation/positive/test069.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A := mkOrd cmp lt gt;

ordNatNamed : Ord Nat :=
Expand Down
6 changes: 3 additions & 3 deletions tests/Rust/Compilation/positive/test071.juvix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import Stdlib.Data.Nat open hiding {Ord; mkOrd};
import Stdlib.Data.Nat.Ord as Ord;
import Stdlib.Data.Pair as Ord;
import Stdlib.Data.Bool.Base open;
import Stdlib.Trait.Ord open using {Ordering; LT; EQ; GT; isLT; isGT};
import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

trait
type Ord A :=
Expand All @@ -18,8 +18,8 @@ type Ord A :=
mkOrdHelper
{A}
(cmp : A -> A -> Ordering)
{lt : A -> A -> Bool := λ {a b := isLT (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGT (cmp a b)}}
{lt : A -> A -> Bool := λ {a b := isLessThan (cmp a b)}}
{gt : A -> A -> Bool := λ {a b := isGreaterThan (cmp a b)}}
: Ord A :=
mkOrd cmp lt gt;

Expand Down

0 comments on commit 0deb72a

Please sign in to comment.