Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 0d530dc

Browse files
committed
Sort the recursive generators.
1 parent 4bd2129 commit 0d530dc

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

semantic-core/test/Generators.hs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -64,12 +64,12 @@ literal = Gen.recursive Gen.choice atoms [lambda literal, record literal]
6464
expr :: MonadGen m => m (Term Core.Core User)
6565
expr = Gen.recursive Gen.choice atoms
6666
[ Gen.subtermM expr (\x -> flip Core.rec x <$> name)
67+
, Gen.subterm2 expr expr (Core.>>>)
68+
, Gen.subtermM2 expr expr (\ x y -> (Core.>>>= y) . (Core.:<- x) <$> name)
6769
, lambda expr
68-
, record expr
6970
, Gen.subterm2 expr expr (Core.$$)
7071
, Gen.subterm3 expr expr expr Core.if'
71-
, Gen.subterm2 expr expr (Core.>>>)
72-
, Gen.subtermM2 expr expr (\ x y -> (Core.>>>= y) . (Core.:<- x) <$> name)
72+
, record expr
7373
, Gen.subtermM expr (\ x -> (x Core....) . namedValue <$> name)
7474
, Gen.subterm2 expr expr (Core..=)
7575
]

0 commit comments

Comments
 (0)