mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Sort the atoms.
This commit is contained in:
parent
ac3f487703
commit
3d65ae97ef
@ -56,7 +56,7 @@ record :: MonadGen m => m (Term Core.Core User) -> m (Term Core.Core User)
|
||||
record bod = Core.record <$> Gen.list (Range.linear 0 5) ((,) . namedValue <$> name <*> bod)
|
||||
|
||||
atoms :: MonadGen m => [m (Term Core.Core User)]
|
||||
atoms = [boolean, variable, pure Core.unit]
|
||||
atoms = [variable, pure Core.unit, boolean]
|
||||
|
||||
literal :: MonadGen m => m (Term Core.Core User)
|
||||
literal = Gen.recursive Gen.choice atoms [lambda literal, record literal]
|
||||
|
Loading…
Reference in New Issue
Block a user